Dokumen ini membahas tentang tautologi dan kontradiksi dalam logika boolean. Tautologi adalah pernyataan majemuk yang selalu benar untuk semua kemungkinan nilai kebenaran komponennya, sedangkan kontradiksi adalah pernyataan yang selalu salah. Diberikan contoh-contoh tautologi dan kontradiksi dengan 1, 2, atau 3 variabel proposisional, kemudian dibuktikan dengan menghitung semua kombinasi nilai ke
7. Tautologi adalah sebuah pernyataan
majemuk yang selalu benar untuk semua
kemungkinan nilai kebenaran dari
pernyataan-pernyataan komponennya.
8. Contoh 1 : Tautologi
p ~p p v ~p
B S B
S B B
Buktikan bahwa pernyataan majemuk p v ~p
merupakan pernyataan tautologi
Jika terdiri dari 1
pernyataan maka
kemungkinan
kejadiannya 21=2
yaitu B dan S
Terbukti tautologi
9. Contoh 2 : Tautologi
p q p ^ q (p ^ q ) → q
B B B B
B S S B
S B S B
S S S B
Buktikan bahwa pernyataan majemuk (p ^q) → q
merupakan pernyataan tautologi
Jika terdiri dari 2
pernyataan maka
kemungkinan
kejadiannya 22 = 4
Terbukti tautologi
10. Contoh 3 : Tautologi
p q r p ^ q q v r (p ^ q) → (q vr)
B B B B B B
B B S B B B
B S B S B B
B S S S S B
S B B S B B
S B S S B B
S S B S B B
S S S S S B
Buktikan bahwa pernyataan majemuk (p ^q) → (q v r)
merupakan pernyataan tautologi
Jika terdiri dari 3
pernyataan maka
kemungkinan
kejadiannya 23 = 8
Terbukti tautologi
12. kontradiksi adalah setiap
pernyataan yang selalu bernilai
salah, untuk setiap nilai kebenaran
dari komponen-komponen disebut
kontradiksi. Karena kontradiksi
selalu bernilai salah, maka
kontradiksi merupakan ingkaran
dari tautologi atau sebaliknya.
13. Contoh 1 :
Kontradiksi
Buktikan bahwa pernyataan majemuk p ^ (~p ^ q)
merupakan pernyataan kontradiksi
p q ~p ~p ^ q p ^ (~p ^ q)
B B S S S
B S S S S
S B B B S
S S B S S
Jika terdiri dari 2
pernyataan maka
kemungkinan
kejadiannya 22 = 4
Terbukti kontradiksi
14. Contoh 2 :
Kontradiksi
Buktikan bahwa pernyataan majemuk q ˄ (p ˄ ~q)
merupakan pernyataan kontradiksi
p q ~q p ^ ~q q ^ (p ^ ~q)
B B S S S
B S B B S
S B S S S
S S B S S
Jika terdiri dari 2
pernyataan maka
kemungkinan
kejadiannya 22 = 4
Terbukti kontradiksi
15. Contoh 3 :
Kontradiksi
Buktikan bahwa pernyataan majemuk
merupakan pernyataan kontradiksi
p q r p ^ q q v r ~(q v r) (p ^ q) ^ ~(q vr)
B B B B B S S
B B S B B S S
B S B S B S S
B S S S S B S
S B B S B S S
S B S S B S S
S S B S B S S
S S S S S B S
Jika terdiri dari 3
pernyataan maka
kemungkinan
kejadiannya 23 = 8
Terbukti kontradiksi