What is a Knights and Knaves puzzle?

Originated by logician Raymond Smullyan, Knights and Knaves puzzles take place on a fictional island where Knights always tell the truth and Knaves always lie. Solvers must deduce the identities of characters based solely on their spoken statements.

How do you solve logic questions in Logic Question Master?

Read the statements made by the characters. Use the interactive hypothesis toggle buttons to test whether assuming someone is a Knight or Knave causes a contradiction. Once confident, select the correct deduction from the verdict options below.

What happens if an assumption leads to a contradiction?

If assuming Person A is a Knight means their statement must be true, but their statement implies they are a Knave (a contradiction), you know with 100% mathematical certainty that Person A must be a Knave. This is the foundation of proof by contradiction (reductio ad absurdum).

Are there different difficulty settings?

Yes, choose from Easy (2-character binary interactions), Medium (3-character circular testimonies and order rankings), and Hard (conditional statements, multi-variable logic grids, and complex truth tables).

Is Logic Question Master free to play?

Yes, it is completely free to play online with zero downloads, no subscriptions, and continuous progress saving to local storage and cookies.

Logic Question Master - Formal Knights, Knaves & Deductive Reasoning

Welcome to Logic Question Master, the ultimate browser-based arena for formal logical deduction, truth-table analysis, and paradox resolution! Inspired by the groundbreaking mathematical riddles of American logician Raymond Smullyan, this game transports you to the enigmatic Island of Knights and Knaves. On this island, every inhabitant is either a Knight (who unconditionally speaks only the mathematical truth) or a Knave (who unconditionally utters only falsehoods). Through pure deductive reasoning, you must evaluate spoken statements, eliminate self-contradictory hypotheses, and uncover objective reality.

The Mathematical Principles of Truth-Table Deduction

Solving Knights and Knaves puzzles is not about guessing or psychological intuition—it is pure formal propositional logic:

The Fundamental Axiom: If person \( P \) says statement \( S \), then \( P \) is a Knight if and only if \( S \) is true (\( P \iff S \)). In other words, a person's identity and the truth value of their statement are logically equivalent.
Proof by Contradiction (Reductio ad Absurdum): To determine whether \( P \) is a Knight or a Knave, assume hypothesis \( H_1: P \text{ is a Knight} \). If this assumption logically entails a contradiction (such as \( P \) asserting that both are Knaves), the hypothesis \( H_1 \) is mathematically false. Therefore, by the Law of the Excluded Middle, \( P \) must be a Knave.
Biconditionals and Self-Reference: When an inhabitant states, "At least one of us is a Knave," notice what happens if they were a Knave. A Knave's statement must be false, which would mean that neither is a Knave (both are Knights), contradicting the assumption that the speaker is a Knave. Thus, the speaker is guaranteed to be a Knight!

Step-by-Step Problem Solving Strategy

Utilize the Hypothesis Scratchpad: Click on the character toggles in the game interface to assume a person is a Knight (green) or a Knave (red). Trace the consequences across all statements.
Look for Unilateral Statements: Statements asserting something about the speaker's own status or compound conjunctions (e.g., "We are both Knaves") immediately rule out one of the identities. A Knave can never say "I am a Knave", as that statement would be true, violating their nature.
Evaluate Equivalences: If Person A says "Person B is a Knight", then A and B have the identical identity (either both are Knights or both are Knaves). If A says "B is a Knave", then A and B have opposite identities.

Frequently Asked Questions (FAQ)

Can a Knave ever say "I am a Knave"?

Never! If a Knave said "I am a Knave", the statement would be truthful, which directly violates the rule that Knaves always lie. Similarly, a Knight cannot say "I am a Knave" because that would be a lie.

What is the purpose of the Scratchpad feature?

The Scratchpad allows you to temporarily tag characters as Knight, Knave, or Unknown. It acts as an interactive notebook to help you visually test hypotheses without affecting your final submitted answer.

Are hints available?

Yes, tapping the Deduction Hint button isolates the specific contradiction or logical pivot required to solve the current case.

How many levels are included?

Logic Question Master includes 60 meticulously crafted cases spanning 2-inhabitant scenarios, 3-inhabitant circular accusations, and multi-variable logic grids across Easy, Medium, and Hard tiers.

Is my progress saved?

Yes, your scores, win streaks, level progression, and sound settings are saved automatically to your browser's local storage and backed up via cookies.