A tutorial in propositional logic
The logical operators used in propositional logic are ¬, ∧, ∨, →, ↔, and ⊢.
¬ is the operator for logical negation and indicates the falsity of the atomic formula it precedes. For example, ¬p indicates the falsity of the atomic...