Ristiriitojen laki

Ristiriitalaki ( ristiriidattomuuden laki ) on logiikan laki , jonka mukaan kaksi yhteensopimatonta ( ristiriitaista tai vastakkaista ) väitettä ei voi olla totta samanaikaisesti - ainakin yksi niistä on epätosi [1] .

Matemaattinen merkintä kaavan muodossa, jolla on aina väärä arvo [2] :

missä:

• " " - konjunktion merkki (AND);
• " " on negatiivinen merkki .

Ristiriitalaki on looginen peruslaki, jolle kaikki moderni matematiikka on rakennettu . Sen negaatio on klassisen logiikan tautologia , kuten myös useimpien ei-klassisten logiikan , mukaan lukien intuitionistinen logiikka , tautologia . Siitä huolimatta on olemassa ei-triviaaleja loogisia järjestelmiä , joissa sitä ei kunnioiteta, esimerkiksi Kleenen logiikka .

Katso myös

• todistaa ristiriidalla

Muistiinpanot

1. ↑ Kirillov V. I., Starchenko A. A. Logiikka: oppikirja oikeustieteellisille korkeakouluille.
2. ↑ Edelman, 1975 , s. 21.

Kirjallisuus

• Edelman S. L. Matemaattinen logiikka. - M . : Korkeakoulu, 1975. - 176 s.

Sanakirjat ja tietosanakirjat	Iso venäläinen Britannica (verkossa)