Propositional Logic Generator & Checker

A PyQt5 desktop application that generates random propositional logic arguments and checks their validity using multiple methods:

• Random Argument Generation: Create 1–6 premises plus a conclusion, with an option to force “Valid” or “Invalid” outcomes.
• DPLL (Davis–Putnam) Check: Convert (premises ∧ ¬conclusion) into CNF, build a DPLL search tree, and display the tree.
• Resolution Check: Convert (premises ∧ ¬conclusion) into CNF, apply the resolution method step-by-step, and show each derived clause.
• AI Check: Call OpenAI GPT-3.5, GPT-4o, or GPT-4.5 to evaluate the argument and display the AI’s reasoning in a popup.

---

Features

Feature	Description
Argument Generation	Randomly generate premises & conclusion, choose valid/invalid
DPLL Validation	Show DPLL search tree for (P ∧ ¬C)
Resolution	Show resolution derivation steps for (P ∧ ¬C)
AI Validation	Use OpenAI models to explain validity

---

Requirements

• Python 3.8 or higher
• PyQt5
• openai Python package

Install dependencies with:

pip install PyQt5 openai