Exam · Logic

Propositional Logic Exam

Truth tables, formalisation, tautologies and validity

10 questions

Using the game mechanic. No time limit.

Explanation after each answer

You’ll see why it’s correct, with the calculation.

Final score

How many you got right out of 10.

Choose your level

← Back to game

More practice on · Philosophy

Propositional logic

Truth TableAll of Philosophy

This is Tuthor

Everything you need to study, from primary to sixth form

94 games and 234 explained quizzes across 14 subjects. Free, no sign-up.

See all gamesSee the whole syllabus

Are you a teacher?

Share it with your class

Google Classroom
🏆 New: play it live with your class, everyone on their phone →

What this exam is like

Philosophy logic exam: complete truth tables, formalise sentences, classify tautologies, contradictions and contingencies and recognise modus ponens, modus tollens and formal fallacies. 10 questions, three levels.

  • Beginner: Connectives and two-variable tables
  • Sixth Form: Tautologies and arguments in words
  • Advanced: Three variables and rules of inference

Sample questions

  1. 1. What is the truth-table column of p ∧ ¬q?

    • F T F F
    • F T F T
    • F T T F
    • T T F F
    Show the answer

    ✅ F T F F

  2. 2. What is the argument p → q, q → r ⊢ p → r?

    • Disjunctive syllogism
    • Hypothetical syllogism
    • Modus ponens
    • Modus tollens
    Show the answer

    ✅ Hypothetical syllogism

  3. 3. What is the argument p → q, ¬p ⊢ ¬q?

    • Disjunctive syllogism
    • Fallacy: denying the antecedent
    • Modus ponens
    • Modus tollens
    Show the answer

    ✅ Fallacy: denying the antecedent

Propositional Logic Exam guide: how to play and what you learn →
🍪

We use cookies

Tuthor uses essential cookies to work and, with your permission, analytics cookies to improve the experience.