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 |