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~pp ∧ ~pBSSBSSSBSSBS

 Lihat juga 
 Tautologi
 Kontingensi

Kategori:Logik matematik