Categories
October Surprise 2024

Mathematical Logic – Stanford University

We denote this by writing ¬(p ∧ q) ≔ ¬p ∨ ¬q The ≔ symbol is not a connective. The statement ¬(p ∧ q) ↔ (¬p ∨ ¬q) is a propositional formula. If you plug in diferent values of p and q, it will evaluate to a truth value. It just happens to evaluate to true every time.