Loogika – sissejuhatus ja põhimõisted
omavahel vastuolus, need moodustavadki mittekooskõlalise lausehulga.
h. Oletame, et miljonist lausest koosnev hulk on kooskõlaline. Moodustatakse uus hulk nii, et selle iga lause on
loogikaliselt ekvivalentne vähemalt ühe lausega esialgsest hulgast. Kas ka uus hulk on kooskõlaline? – miljon või
kümme või kaks – pole vahet, sel juhul kõik laused peavad korraga olema tõesed.
1.hulk {l1,..., li,...,lmiljon}; 2.hulk li
kas uus hulk on paratamatult selline, et ka seal on kõik laused korraga tõesed?
üritame näidata vastupidist. Proovime toppida uude hulka väära lause, seega peaks esimesest hulgast ka
mingisugune lause olema väär. Ei saa uude hulka ühtegi väärust tekitada. Seega tõepoolest, uus hulk on kooskõlaline
Arutluse kehtivus
Korrektsust ei pea eesmärgiks seadma, ei oska võib-olla välja selgitada
annaabi.ee 
