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
- Select the best translation into predicate logic: All robots are artifacts.
- Use indirect truth tables to determine whether each set of propositions is consistent. If the set is consistent, choose an option with a consistent valuation. (There may be other consistent valuations.) ~N ≡ (O · P) ~O ⊃ Q N · ~Q
- Select the best translation into predicate logic: Ms. Jackson lent me some sugar, but neither Janet nor Latoya did.
Answers are revealed after you submit a quiz.