Propositional Logic practice, graded like a real exam
Connectives, truth tables, equivalences and normal forms. Propositional Logic rewards precision and repetition more than almost anything else on a logic course — it is exactly the kind of topic where working through twenty varied problems beats re-reading the chapter a third time. QED gives you an endless supply of exam-grade propositional logic questions and marks every answer the way an examiner would, so each attempt actually teaches you something.
✓ First questions free · no card · no setup
What a Propositional Logic question looks like
In a QED session, an exam-level propositional logic question might ask you to prove two formulas are logically equivalent using De Morgan and the standard laws, build a full truth table and classify a formula as a tautology, contradiction or contingency, or convert an expression to CNF or DNF.
Every question carries a hidden marking rubric. You answer in real notation, and QED marks each criterion separately — awarding partial credit and showing a full worked solution, so you learn from the marks you dropped.
Every Propositional Logic subtopic
13 focused guides, each with the method, a worked example and the mistakes that cost marks. Work through them in order or jump to your weak spot.
- 1Truth tables & connectives
- 2Tautology, contradiction & contingency
- 3Logical equivalence & the standard laws
- 4CNF & DNF normal forms
- 5Logical consequence & valid arguments
- 6Translating English into propositional logic
- 7Natural deduction & the standard proof rules
- 8Semantic tableaux & truth trees
- 9Satisfiability & counter-valuations
- 10Functional completeness & adequate sets
- 11Converse, inverse & contrapositive
- 12Resolution & proof by refutation
- 13Soundness & completeness
Why students use QED for Propositional Logic
Not another chatbot that blesses whatever you type. QED is built for deliberate practice — the way maths actually sticks.
Practice that never runs out
A textbook gives you a handful of propositional logic exercises with the same worked answers everyone has seen. QED generates unlimited fresh propositional logic questions at warm-up, exam and challenge level, so you can drill a weak spot until it is automatic — not until you run out of problems.
Marked like an examiner, not a checkbox
Most tools just say “correct” or “wrong”. QED marks your propositional logic answer against a point-by-point rubric, awards partial credit, shows exactly where the reasoning slipped, and gives a full model solution. A right answer with the wrong argument still loses the argument marks — just like a real exam.
A library you can come back to
Every propositional logic question you generate is saved, organised and re-takeable as a timed exam. Your mastery is tracked per topic, so you always know whether Propositional Logic is exam-ready or still needs work — and you can export any question or exam report to PDF.
Write maths the way you actually write it
Answer in real notation with a one-tap symbol palette and a visual equation editor, drop in truth tables, or photograph a handwritten page — QED converts your handwriting to clean LaTeX. No fighting with syntax to show what you know.
How practising Propositional Logic works
- Generate a fresh questionPick Propositional Logic and a difficulty — warm-up to build intuition, exam level for the real thing, or challenge for multi-step problems. A new, verified question appears in seconds.
- Answer in real notationType it, build it in the equation editor, lay out a truth table, or photograph your handwritten working and let QED convert it to LaTeX.
- Get marked criterion by criterionQED scores every rubric point separately, awards partial credit, flags where the reasoning slipped and shows a full model solution. The question is saved to your library to retake any time.
Related topics
Building a full picture of logic? These pair naturally with Propositional Logic.
Propositional Logic — frequently asked questions
Is QED good for revising Propositional Logic before an exam?
Yes — that is exactly what it is built for. Generate propositional logic questions at exam level (or push up to challenge), answer them under timed exam mode, and get marked against a rubric with a full model solution. You can retake any question and watch your Propositional Logic mastery climb until it is solid.
How many Propositional Logic questions can I practise?
As many as you like. QED generates fresh propositional logic problems on demand instead of recycling a fixed set, and every question you make is saved to your library to retake for free. New accounts start with free question generations, no card required.
Do I need to know LaTeX to answer Propositional Logic questions?
No. There is a one-tap palette for symbols, a visual equation editor, and a truth-table builder — and you can photograph a handwritten solution and let QED convert it to LaTeX for you. You concentrate on the maths, not the typesetting.
Ready to make Propositional Logic exam-proof?
Generate your first propositional logic questions free — no card, no setup. Practise until it is second nature.
Start practising free →