B. Tabel kebenaran
|
p
|
q
|
r
|
p Ù q
|
~q
|
~q Ù r
|
(p Ù q) Ú (~q Ù r)
|
|
|
|
|
|
|
|
|
|
T
|
T
|
T
|
T
|
F
|
F
|
T
|
|
T
|
T
|
F
|
T
|
F
|
F
|
T
|
|
T
|
F
|
T
|
F
|
T
|
T
|
T
|
|
T
|
F
|
F
|
F
|
T
|
F
|
F
|
|
F
|
T
|
T
|
F
|
F
|
F
|
F
|
|
F
|
T
|
F
|
F
|
F
|
F
|
F
|
|
F
|
F
|
T
|
F
|
T
|
T
|
T
|
|
F
|
F
|
F
|
F
|
T
|
F
|
F
|
|
|
|
|
|
|
|
|
C. Tautologi dan Kontradiksi
·
Proposisi majemuk
disebut tautologi jika ia benar untuk semua kasus
·
Proposisi majemuk
disebut kontradiksi jika ia salah untuk semua kasus.
Contoh 7. p Ú ~(p Ù q) adalah sebuah tautologi
|
p
|
q
|
|
p Ù q
|
|
~(p Ù q)
|
|
p Ú ~(p Ù q)
|
|
|
|
|
|
|
|||||
|
T
|
T
|
|
T
|
|
F
|
|
T
|
|
|
T
|
F
|
|
F
|
|
T
|
|
T
|
|
|
F
|
T
|
|
F
|
|
T
|
|
T
|
|
|
F
|
F
|
|
F
|
|
T
|
|
T
|
|
|
|
|
|
|
|
|
|
p
|
q
|
p Ù q
|
p Ú q
|
~(p Ú q)
|
(p Ù q) Ù ~(p Ú q)
|
|
|
|
|
|
|
|
|
T
|
T
|
T
|
F
|
F
|
F
|
|
T
|
F
|
F
|
T
|
F
|
F
|
|
F
|
T
|
F
|
T
|
F
|
F
|
|
F
|
F
|
F
|
F
|
T
|
F
|
0 comments:
Post a Comment