"mittekehtivuseks" - 1 õppematerjal

Loogika – sissejuhatus ja põhimõisted

e. Oletame, et arutlusel on eeldus, mis on loogikaliselt ekvivalentne loogikaliselt väära lausega. Kas see arutlus peab olema kehtiv? – üks eeldustest on igal juhul väär, järeldustest ei tea midagi – peab olema kehtiv, sest alati üks eeldustest on väär, kui 1 eeldustest on loogikaliselt ekvivalentne loogikaliselt väära lausega; mõlemad väärad. Kõik eeldused tõesed olla ei saa, vhmlt 1 alati väär, seega arutlus on kehtiv – mittekehtivuseks peab olema võimalik, et kõik eeldused on tõesed ja järeldus väär, 1 väär lause, järelikult on kehtiv f. Oletame, et arutluse järeldus on loogikaliselt tõene. Selgita, miks see arutlus peab olema kehtiv sõltumata sellest, millise tõeväärtusega on tema eeldused. Selgita, miks niisugune arutlus võib olla korrektne, aga ei pruugi. – 1)kehtib otseselt kehtivuse definitsooni tõttu