Logical Notation


Conjunction: p /\ q

Disjunction: p \/ q

Negation: ~p

Implication: p ==> q

Equivalence: p == q

Truth/Falsity: false, true

Universal Quantification: (!x . p)

Existential Quantification: (?x . p)

Inference Rule (q holds provided p holds):

               p
             -----
               q