Introductory Examples

A Simple Proof

Antisymmetry

Distributivity of ForAll over Implication

Nested Quantifiers