KONTRADIKSI

KELOMPOK 6 :
 MUHAMMAD FAZERIANOOR  MUHAMMAD ZULMI AZMI
 MUHAMMAD FAKHRIAN HADI  RIZKY AULIA RAHMAN
 MUHAMMAD FUADI
 APA ITU KONTRADIKSI?
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.
P ~P (P^~P)
B S S
S B S

Dari tabel kebenaran diatas dapatlah disimpulkan bahwa pernyataan

majemuk (P^~P) selalu salah.
CONTOH SOAL KONTRADIKSI
 CONTOH 1
Tunjukkan bahwa pernyataan majemuk p ^ (~ p ^ q ) merupakan suatu kontradiksi.
Bukti :
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

Ini adalah tabel kebenaran yang menunjukkan kontradiksi dengan alasan

yaitu semua pernyataan bernilai salah (S).
 CONTOH 2
Tunjukkan bahwa pernyataan majemuk q ^ (p ^ ~ q) merupakan suatu kontradiksi.
Jawab:
Tabel kebenaran dari q ^ (p ^ ~ q) adalah sebagai berikut :
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

Pada kolom yang paling kanan dari tabel di atas, tampak bahwa q ^ ( p ^ ~ q )
selalu bernilai salah untuk setiap nilai kebenaran dari komponennya. Oleh
karena itu, pernyataan q ^( p ^ ~ q ) adalah suatu kontradiksi.
 CONTOH 3
Tunjukkan bahwa pernyataan majemuk (p ^ q) ^ (p ~ q) merupakan suatu
kontradiksi.
Jawab:
Tabel kebenaran dari (p ^ q) ^ (p ~ q) adalah sebagai berikut :
p q p^q p~q (p ^ q) ^ (p ~ q)
B B B S S
B S S B S
S B S B S
S S S B S

Ini adalah tabel kebenaran yang menunjukkan kontradiksi dengan alasan

yaitu semua pernyataan bernilai salah (S).
 CONTOH 4
Tunjukkan bahwa pernyataan majemuk ~ ( p v q ) ^ p merupakan suatu
kontradiksi.
Jawab :
Tabel kebenaran dari ~ ( p v q ) ^ p adalah sebagai berikut :
p q pvq ~(pvq) ~(pvq)^p
B B B S S
B S B S S
S B B S S
S S S B S

Ini adalah tabel kebenaran yang menunjukkan kontradiksi dengan

alasan yaitu semua pernyataan bernilai salah (S).
 KESIMPULAN
Logika adalah sebuah metode dan prinsip-prinsip yang dapat memisahkan
secara tegas antara penalaran yang benar dengan penalaran yang salah.
Dalam mempelajari logika matematika pasti berhubungan dengan istilah
pernyataan, kalimat majemuk dan ingkaran. Pernyataan-pernyataan majemuk
diantaranya adalah sebagai berikut:
1. Konjungsi, kata hubungnya “ dan " dilambangkan dengan "^".
2. Disjungsi, kata hubungnya “ atau " dilambangkan dengan “v".
3. Implikasi, kata hubungnya “ Jika... maka... " dilambangkan dengan "⟹".
4. Biimplikasi, kata hubungnya "... jika dan hanya jika..." dilambangkan dengan
"⇔".
Sekian terima kasih