Kontradiksi

Dalam logik matematik, kontradiksi merupakan suatu pernyataan majemuk yang bernilai salah untuk semua kemungkinan dari tempat-tempatnya. Jadi, kontradiksi berlawanan dengan tautologi. Hal ini dapat dibuktikan melalui jadual kebenaran ataupun sifat-sifat logik.

Contohnya adalah:

p ~p p ∧ ~p
B S S
B S S
S B S
S B S
This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.