Ratio propositionum
Sunt quattuor functiones quae unam propositionem (p) habent: tautologia (p semper verum est) : ° ; affirmatio (id est identitas) : + ; negatio (est non-p): ¬, ~ ; contradictio (p semper falsum est) : * . Tabula veritatis Sunt sedecim functiones quae duas propositiones (p et q) habent :