Formal Logic quiz
144 questions across 1 difficulty level. Every attempt draws a fresh random set, so you can play as often as you like.
Choose your level
Hard
144 questions
Playing needs a free account so your score can appear on the leaderboard — create one in under a minute.
Sample questions
- Construct a complete truth table for the following argument. Then, using the truth table, determine whether the argument is valid or invalid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) M ∨ N ~M · O / N
- Select the best translation into predicate logic. José introduces Wilma to Kevin. (j: José; k: Kevin; w: Wilma; Ixyz: x introduces y to z)
- Select the best English interpretation of the given proposition, using the following translation key: Ax: x is an apartment Hx: x is a house Lx: x is large Bxy: x is bigger than y (∀x){(Lx • Ax) ⊃ (∃y)[(Hy • ~Ly) • Bxy]}
Answers are revealed after you submit a quiz.