Zákon vyloučeného třetího: Porovnání verzí
Smazaný obsah Přidaný obsah
m Robot: přidáno {{Autoritní data}}; kosmetické úpravy |
m typo (celk. NBSP, interpunkce, formulace, nadbytečné dvojtečky u příkl.) |
||
Řádek 1:
[[Soubor:PregnantWoman.jpg|náhled|upright|Žena těhotná buď je, nebo není, třetí možnost neexistuje]]
'''Zákon o vyloučení třetího''' ([[latina|latinsky]] ''principium tertii exclusi'', či '''tertium non datur''' - třetí není dán) je [[logika|logický]] princip, který říká, že každý [[Výrok (logika)|výrok]] je buď pravdivý, nebo je nepravdivý; neexistuje třetí možnost.
Pro každé tvrzení ''P'' proto platí, že výraz <math>P\lor\neg P</math> (''P'' nebo ''non P'') je pravdivý.
Například jestliže ''P'' je výrok
: ''Kaktus je zvíře.''
pak následující složený výrok ([[disjunkce]])
: ''Kaktus je zvíře, nebo kaktus není zvíře.''
je vždy pravdivý (bez ohledu na pravdivost výroku ''P'').
{{Autoritní data}}
| |||