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 :

Logica propositionalis

Logica