Quantum redactiones paginae "Ratio propositionum" differant
Content deleted Content added
m r2.5.2) (bot mutat: fa:جدول درستی و نادرستی; mutationes minores |
m bot addit: eo:Vertabelo |
||
| Linea 39: | Linea 39: | ||
[[de:Wahrheitstabelle]] |
[[de:Wahrheitstabelle]] |
||
[[en:Truth table]] |
[[en:Truth table]] |
||
[[eo:Vertabelo]] |
|||
[[es:Tabla de verdad]] |
[[es:Tabla de verdad]] |
||
[[et:Tõeväärtustabel]] |
[[et:Tõeväärtustabel]] |
||
Emendatio ex 05:06, 19 Ianuarii 2011
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 |