TAUTOLOGI DAN
KONTRADIKSI
Devi Rina Cahyani NIM (15141.288) Anisa Puri NIM (15141.298)
Adiati Dinartiwi NIM (15141.300) Arinda Ayustina NIM (15141.304
Tautologi
Tautologi adalah pernyataan majemuk yang
selalu benar
untuk semua kemungkinan nilai
kebenaran dari pernyataan-pernyataan
komponennya. Untuk membuktikan apakah
suatu pernyataan Tautologi, maka ada dua
cara yang digunakan. Caranya dengan
menggunakan tabel kebenaran, yaitu jika
semua pilihan bernilai B (benar) maka
P q ( p ˄ q )
( p ˄ q) ⟹ q
B B B B
B S S B
S B S B
B S S B
Tabel Kebenaran
Tautologi
Dari
( p q )
˄
⟹
q berikut ini :
Contoh tautologi dengan
Kontradiksi
Kontradiksi adalah kebalikan dari tautologi yaitu suatu bentuk pernyataan yang hanya mempunyai contoh
substansi yang salah, atau sebuah pernyataan majemuk yang salah dalam segala hal tanpa memandang nilai
kebenaran dari komponen-komponennya. Untuk membuktikan apakah suatu pernyataan tersebut
kontradiksi, maka ada dua cara yang digunakan. Cara
pertama dengan menggunakan tabel kebenaran, yaitu jika semua pilihan bernilai F atau salah maka disebut
kontradiksi, dan cara kedua yaitu dengan melakukan
p q ~q ( p ⟹ q ) [ ( p ⟹ q ) ˄ p ]
[ ( p ⟹ q ) ) ˄ p] ˄ ~q
B B S B B S
B S B S S S
S B S B S S
S S B B S S
Tabel Kebenaran Kontradisi
Tabel kebenaran dari [( p ⟹ q ) p] ~q berikut ini :˄ ˄
p q ~p (~p ʌ q) P ʌ (~p ʌ