Soal
Buktikan bahwa ~(p ~q) adalah suatu tautologi
p
q
p
q
p q (p q)
T
T
F
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
F
F
T
T
F
T
Dalam tabel kebenaran membuktikan bahwa ~(p ~q) bukan merupakan tautologi karena
tidak memenuhi syarat sebuah tautologi yaitu untuk setiap kemungkinan nilai p dan q maka
nilai kebenarannya adalah TRUE. Tapi dalam tabel kebenaran ada yang FALSE sehingga
bukan merupakan Tautologi.
Apakah setiap dua tautologi berekuivalensi logis?
Syarat tautologi adalah untuk setiap kemungkinan p dan q maka pernyataan bernilai TRUE.
Syarat dua buah pernyataan dikatakan ekivalen (berekivalensi logis) jika kedua pernyataan
itu mempunyai nilai kebenaran yang sama.
Setiap dua tautologi akan berekivalensi logis karena memiliki nilai kebenaran yang sama
2. Buktikan setiap pernyataan berikut ini
p (p p)
p p
pp
T T
T
F F
F
TERBUKTI EKUIVALEN, karena nilai kebenarannya SAMA.
p (p p)
p
p
pp
T
T
T
F
F
F
TERBUKTI EKUIVALEN, karena nilai kebenarannya SAMA.
(p q) (p q) (Hukum De Morgan)
P
q
pq
(p q)
p
q
(p q)
T
T
T
F
F
F
F
T
F
T
F
F
T
F
F
T
T
F
T
F
F
F
F
F
T
T
T
T
TERBUKTI EKUIVALEN, karena nilai kebenarannya tidak sama.
(p q) (p q) (Hukum De Morgan)
p
q
p
q
pq
(p q) (p q)
T
T
F
F
T
F
F
T
F
F
T
F
T
T
F
T
T
F
F
T
T
F
F
T
T
F
T
T
TERBUKTI EKUIVALEN, karena nilai kebenarannya SAMA.
3. Buktikan bahwa p q tidak ekuivalen dengan p q
p
q
pq
pq
T
T
T
T
T
F
F
F
F
T
F
T
F
F
F
T
TERBUKTI TIDAK EKUIVALEN, karena dalam tabel kebenaran p q tidak sama dengan
pq
4. Buktikan bahwa p q ekuivalen dengan (p q) (q p)
p
q
p q q p p q (p q) (q p)
T
T
T
T
T
T
T
F
F
T
F
F
F
T
T
F
F
F
F
F
T
T
T
T
TERBUKTI EKUIVALEN, karena p q ekuivalen dengan (p q) (q p) nilai
kebenarannya SAMA.
5. Buktikan bahwa (p q) (p q) merupakan kontradiksi
p
q
pq
pq
p q (p q) (p q)
T
T
T
T
F
F
T
F
F
T
F
F
F
T
F
T
F
F
F
F
F
F
T
F
TERBUKTI BAHWA MERUPAKAN KONTRADIKSI, karena (p q) (p q)
pernyataan yang bernilai FALSE.
6. Sederhanakan pernyataan-pernyataan berikut ini!
(p q) p q (Hukum De Morgan)
~ (p ~ q)
~ (p ~ q) = ~p ~(~q)
~p ~(~q) = ~p q
(p q) [ ( p ) q] (Ekuivalen)
(p q) (Komplemen)
p q (De Morgan)
~ (~ p q)
~ (~ p q) (p q)
(p q) (p q) ( q p)
7. Manakah diantara pernyataan berikut ini yang merupakan tautologi
p (p q)
p q p q p (p q)
T T
T
T
T F
F
F
F T
F
T
F F
F
T
BUKAN TAUTOLOGI, karena nilai kebenarannya ada yang TRUE dan FALSE.
p (p q)
p
q
p q p (p q)
T T
T
T
T F
T
T
F T
T
T
F
F
F
T
TAUTOLOGI, karena nilai kebenarannya SELALU TRUE.
(p q) p
p
q
(p q) (p q) p
T
T
T
T
T
F
F
T
F
T
F
T
F
F
F
T
TAUTOLOGI, karena nilai kebenarannya SELALU BENAR
(p q) p
p
q
pq pqp
T
T
T
T
T
F
T
T
F
T
T
F
F
F
F
T
BUKAN TAUTOLOGI, karena nilai kebenarannya ada yang TRUE dan FALSE.
q (p q)
p q p q q (p q)
T T
T
T
T F
F
T
F T
T
T
F F
T
T
TAUTOLOGI, karena nilai kebenarannya SELALU BENAR.
p (q r) (p q) (p r)
p
q
r
qr pq
p r p (q r) (p q) (p r)
T
T
T
T
T
T
T
T
T
T
F
F
T
F
F
F
T
F
T
F
F
T
T
T
T
F
F
F
F
F
F
F
F
T
T
T
T
T
T
T
F
T
F
F
T
T
T
T
F
F
T
F
T
T
T
T
F
F
F
F
T
T
T
T
TERBUKTI EKUIVALEN, karena p (q r) (p q) (p r) bernilai kebenaran
SAMA.
9. Buktikan bahwa (p q) (p q) (p q)
p
q pq pq
(p q)
(p q)
T
T
F
F
T
F
T
F
T
F
F
F
T
T
T
F
F
T
T
T
F
F
F
T
(p q) (p q)
F
F
F
F