Loogika
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...
annaabi.ee 
