14.02.2017 Kodune töö nr 1 Hinne: 100/100 Kas väide on tõene või väär? 1. Korrektne arutlus ei pruugi olla kehtiv. - VÄÄR 2. Kehtivus on lausehulga omadus. - VÄÄR 3. Kui lausehulgas pole vääri lauseid, siis on see hulk kooskõlaline. - TÕENE 4. Arutlus, mille järeldus on tõene, võib olla kehtiv. - TÕENE 5. Deduktiivselt kehtiva arutluse järeldus ei saa olla väär. - VÄÄR 6. Deduktiivselt kehtival arutlusel ei saa olla tõeseid eeldusi ja tõest järeldust. - VÄÄR 7. Tõeste eeldustega kehtiv arutlus peab olema korrektne. - TÕENE 8. Tõeste eelduste ja väära järeldusega arutlus võib olla kehtiv
Paratamatult tõene. Roos on roos, mina olen mina. Mingit tuge pole vaja, lihtsalt on tõesed. 2) võib olla korrektne, aga ei pruugi? Eeldusteks võib olla ükskõik mis sellise arutluse puhul, kõik eeldused ei pruugi tõesed olla kuni selleni, et eeldusi ei pruugi üldse olla. Eelduste hulk võib olla tühihulk. Tautoloogiad on tuletatavad tühjast hulgast ehk ei millestki g. Oletame, et arutluse eeldused moodustavad mittekooskõlalise lausehulga. Selgita, miks see arutlus peab olema kehtiv. Selgita, miks ta peab olema mittekorrektne. – see lausehulk peab olema erinevate tõeväärtustega; kõik ei saa kunagi olla korraga tõesed, seega peab olema kehtiv – kehtivuse definitsooni kohaselt. (esimene näide, astroloogia – laused eraldi võetuna tõesed, aga kõik korraga tõesed olla ei saa). Korrektsuse definitsooni kohaselt peab olema mittekorrektne
annaabi.ee 
