Category(s): Fun, Humanities, Maths & Science, Philosophy
Tag(s): boolean algebra, dilemmas, fairy tales, fantasy, first order logic, formal language, formal logic, formal system, formula, logic, logical paradox, math, mathematical logic, mathematics, paradox, paradoxes, predicate logic, proof, proof theory, propositional calculus, propositional formula, propositional logc, propositional logic, propositional variable, story, traveller's paradox, well-formed formula, wff