Kontradiksi

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Revisi sejak 7 April 2013 01.52 oleh EmausBot (bicara | kontrib) (Bot: Migrasi 26 pranala interwiki, karena telah disediakan oleh Wikidata pada item d:Q363948)

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

Diperoleh dari "https://id.wikipedia.org/w/index.php?title=Kontradiksi&oldid=6725971"