Az ellentmondás törvénye

Az ellentmondás törvénye ( az ellentmondás törvénye ) a logika törvénye , amely kimondja, hogy két egymással össze nem egyeztethető ( ellentmondásos vagy ellentétes ) állítás nem lehet egyszerre igaz - legalább az egyik hamis [1] .

Matematikai jelölés képlet formájában, amelynek mindig hamis értéke van [2] :

ahol:

• " " - kötőszó (ÉS);
• A " " egy tagadójel .

Az ellentmondás törvénye az az alapvető logikai törvény, amelyre minden modern matematika épül . Tagadása a klasszikus logika , valamint a legtöbb nem klasszikus logika tautológiája , beleértve az intuicionista logikát is . Ennek ellenére vannak nem triviális logikai rendszerek , amelyekben nem tartják tiszteletben, például Kleene logikája .

Lásd még

• ellentmondással való bizonyítás

Jegyzetek

1. ↑ Kirillov V. I., Starchenko A. A. Logika: tankönyv jogi egyetemeknek.
2. ↑ Edelman, 1975 , p. 21.

Irodalom

• Edelman S. L. Matematikai logika. - M . : Felsőiskola, 1975. - 176 p.

Szótárak és enciklopédiák	Nagy orosz Britannica (online)