Category(s): Fun, Maths & Science
Tag(s): boolean algebra, boolean logic, counterfactuals, formal logic, john mccarthy, logic, logic puzzles, logical formula, logical paradox, markup language, material implication, math, mathematical logic, mathematics, natural language, paradox, paradoxes, proofs, propositional calculus, propositional formula, propositional logic, propositional variables, puzzles, raymond smullyan, sentential calculus, sentential logic, the hardest logic puzzle ever, traveller's paradox, XOR, zeroth order logic