False Infinity

Logic Gate

∀ ∃ ¬ ∧ ∨ ⊕ ⊗ ⊢ ⊨ ∀∀∀ ∃∃∃ ¬∧∨ ⊕⊗⊕ ∴ ∵ ∴ ∵

+ Style Box

predicate_logic
boolean
truth_table
axiom
proof
theorem
consistency

Say Something

No account needed. Just a name and, if you want, a link to your own work.