LOOGIKA KODUNETÖÖ NR.3 1. Kas laused on ekvivalentsed? A(BC) (AB)C ~((A( BC)) (AB) 1. C)) HL A(B ~(A(B 2. C) C)) 1~D ~((AB (AB) 3. )C) C 1~D 4. A 2~D 5. ~(BC) 2~D 6. B 5~D 7. ~C 5~D 8. ~(AB) C 3D 9. A x 8~D 10. ~B 8~D x Laused on ekvivalentsed. 2.Kas arutlus kehtib? (P~Q) &(Q~ 1. R) HL 2. SQ HL S(~P 3. &~R) HL 4. P~Q 1&D 5....
LOOGIKA KODUNETÖÖ NR.2 TASB21 1.Kas lause on tõeväärtuseliselt tõene, väär või määramata? A B ¬((AB) ((BA)v¬A)) t t v t t t t v t v v v t t t v v t v v t v t t v v v t t t t t Lause on tõeväärtuseliselt väär. 2.Kas laused on tõeväärtuseliselt ekvivalentsed? (P&~Q)v(~P&Q) P~Q P Q (P&~Q)v(~P& P~Q Q) t t v v v v v v v t v t v t v t t v v t v v t t t v t v v v t v t v t v Laused on tõeväärtuseliselt ekvivalentsed. 3.Kas hulk on kooskõlaline? P Q (P~ Q) ~ ~ (Pv~ Q Q) t t v v t v v t v t v t t t t v t t v t t v v v t v v v v t t t t v t t Hulk ei ole kooskõlaline. (Kui kõik punased tähed oleks T, siis oleks kooskõlaline.) 4.Kas arutlus k...
Loogika Sissejuhatus ja põhimõisted Peeter Müürsepp Klassikalise loogika põhiseadused 1) samasuse ehk identsuse seadus 2) vasturääkivusseadus 3) välistatud kolmanda seadus Aristoteles (384-322) 4) küllaldase aluse seadus Gottfried Wilhelm Leibniz (1646 1716) Loogika roll Loogika ei suuda üldjuhul öelda meile, millised väited või uskumused vastavad tõele. Tõde tähendab, et me teame, kuidas asjad on. Loogika ei ütle meile seda. Loogika valdamine aitab
Kodune töö nr 1 Kas väide on tõene või väär? 1. Korrektne arutlus peab olema kehtiv. tõene 2. Kehtivus on lausete omadus. väär 3. Kui lausehulgas pole vääri lauseid, siis on see hulk kooskõlaline. tõene 4. Arutlus, mille järeldus on väär, peab kehtima. väär 5. Deduktiivselt kehtiva arutluse järeldus ei saa olla väär. väär 6. Deduktiivselt kehtival arutlusel ei saa olla vääri eeldusi. 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. väär 9. Deduktiivselt kehtival arutlusel võivad olla väärad eelsused ja väär järeldus. tõene 10. Kõik tõeste järeldustega arutlused on kehtivad. väär