Ratio propositionum

E Vicipaedia
Salire ad: navigationem, quaerere

Sunt quattuor functiones quae unam propositionem (p) habent:

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