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

p°p+p¬p*p
11100
01010

Sunt sedecim functiones quae duas propositiones (p et q) habent :

pq12 (vel)345 (ergo)678 (et)910 (aut)1112 (nec)1314 (non-sed)15 (nec-nec)16
VVVVVVVVVVFFFFFFFF
VFVVVVFFFFVVVVFFFF
FVVVFFVVFFVVFFVVFF
FFVFVFVFVFVFVFVFVF
Other Languages