Archiv Ladislava Hejdánka | Kartotéka

www (2009)

Dva výroky (předpoklady) jsou kontradiktorické, je-li pravdivý pouze jeden z nich, nikoli ale oba. Tuto okolnost vyjadřujeme formálně: p ←  → q = df (0110). Hovorově a také formálně říkáme „buďto – nebo“. Dva pojmy (věty) jsou tedy kontradiktorické, jestliže společnou množinu beze zbytku rozdělují. Takové pojmy se navzájem nejen vylučují, ale nepřipouští žádnou třetí možnost (tertium non datur). Například kontradiktorické jsou páry pojmů strom – nestrom, imatrikulovaný – neimatrikulovaný, apod. Označíme-li cosi současně za strom a nestrom, je taková výpověď kontradiktorická. Kontradiktorický výrok (nebo i systém) je bezcenný, poněvadž z něho můžeme odvodit libovolné výroky a vzniká tak chaos. V právních úkonech jde pak vlastně o zneužití zákonů. Spojka „nýbrž“ označuje skutečné protiklady, které se navzájem vylučují. Do formální logiky ji přeložíme negací konjunkce, tj. „a ne“. Podobný kontradiktorický význam má i spojka „pouze“.
www