"mittekorrektsusel" - 1 õppematerjal

Loogika – sissejuhatus ja põhimõisted

– (ei saa kunagi tõene olla, kooskõlalisus – kõik liikmed saavad olla tõesed) – tõene f. Ainult tõeste eeldustega kehtiv arutlus peab olema korrektne. – (kõik eeldused on tal tõesed, ühtegi väära pole, kehtiv ka) – tõene, korrektsuse definitsioon nõuab g. Kehtiv arutlus peab olema korrektne. – väär, sellisel juhul poleks korrektsusel ja mittekorrektsusel vahet h. Tõeste eelduste ja väära järeldusega arutlus võib olla kehtiv. – väär, kehtivuse definitsoon välistab selle i. Tõeste eelduste ja väära järeldusega arutlus võib olla korrektne. – kui pole kehtiv, pole ammugi ka korrektne. Korrektsus eeldab kehtivust. väär j. Kaks väära lauset ei saa olla loogikaliselt ekvivalentsed. – väär, saavad küll (Mari ja Jüri näide) k