Hukum kontradiksi

Hukum kontradiksi atau principium contradictionis adalah aturan yang menyatakan bahwa tidak mungkin sesuatu itu pada waktu yang sama adalah sesuatu itu dan bukan sesuatu itu. Maksudnya: mustahil sesuatu itu adalah hal satu dan bertentangan pada waktu yang bersamaan. Contoh pelanggaran hukum kontradiksi adalah paradoks pembohong: Bambang mengatakan bahwa semua lelaki adalah pembohong. Rangkaian premis berikut akan tiba pada dua konklusi yang bertentangan: Jika yang dikatakan oleh Bambang benar, maka ia bukan pembohong.
Jika apa yang dikatakan Bambang tidak benar, maka ia pembohong.
Konklusi pertama: jadi Bambang adalah pembohong dan bukan orang jujur.
Jika apa yang dikatakan Bambang tidak benar, maka ia adalah pembohong.
Jika ia pembohong, apa yang dikatakannya tidak benar.
Bambang adalah laki-laki, sehingga jika apa yang dikatakannya tidak benar, berarti Bambang adalah orang jujur.
Konklusi kedua: Jadi Bambang adalah orang jujur dan bukan pembohong.