Kontradiksi

Dalam 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

Lihat juga

• Tautologi
• Kontingensi