Ratio propositionum

E Vicipaedia
Salire ad: navigationem, quaerere
Nulla Vicipaediae Latinae pagina huc annectitur.
Quaesumus in alias commentationes addas nexus ad hanc paginam relatos. Quo facto hanc formulam delere licet.

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