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
- Use indirect truth tables to determine whether the following argument is valid. If the argument is invalid, choose an option which presents a counterexample. (There may be other counterexamples as well.) H ≡ (~I ∨ J) H ∨ ~J / ~I
- 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.) (G ≡ H) · ~I ~G ∨ (~H ∨ I) / G
- Select the best translation into predicate logic: No artifacts are people.
Answers are revealed after you submit a quiz.