Kontradiksi

Secara harfiah, pada dasarnya kontradiksi atau percanggahan merupakan peristiwa atau kejadian yang menimbulkan pertentangan antara dua hal yang sangat berlawanan. Apabila dijabarkan dalam metode logika matematika, percanggahan 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~pp ∧ ~pBSSBSSSBSSBS

 Lihat juga 
 Tautologi
 Kontingensi

 Rujukan 

Kategori:Logika matematika