Secara harfiah, pada dasarnya kontradiksi merupakan peristiwa atau kejadian yang menimbulkan pertentangan antara dua hal yang sangat berlawanan, apabila dijabarkan dalam metode 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 |