Kontradiksi

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Langsung ke: navigasi, cari

Dalam logika matematika, kontradiksi adalah suatu pernyataan majemuk yang bernilai salah untuk semua kemungkinan dari premis-premisnya. Jadi, kontradiksi berlawanan dengan tautologi. Hal ini dapat dibuktikan menggunakan tabel kebenaran ataupun sifat-sifat logika.

Contohnya adalah:

p ~p p ∧ ~p
B S S
B S S
S B S
S B S

Lihat juga[sunting | sunting sumber]