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