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...