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, kontradiksi atau 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 | ~p | p ∧ ~p |
B | S | S |
B | S | S |
S | B | S |
S | B | S |
This article uses material from the Wikipedia Bahasa Indonesia article Kontradiksi, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Konten tersedia di bawah CC BY-SA 4.0 kecuali dinyatakan lain. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Bahasa Indonesia (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.