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 1  1  1  0  0 0  1  0  1  0

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

 p  q  1  2 (vel)  3  4  5 (ergo)  6  7  8 (et)  9  10 (aut)  11  12 (nec)  13  14 (non-sed)  15 (nec-nec)  16 V  V  V  V  V  V  V  V  V  V  F  F  F  F  F  F  F  F V  F  V  V  V  V  F  F  F  F  V  V  V  V  F  F  F  F F  V  V  V  F  F  V  V  F  F  V  V  F  F  V  V  F  F F  F  V  F  V  F  V  F  V  F  V  F  V  F  V  F  V  F

Logica propositionalis

Categoria:Logica