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:
Property | Value |
---|---|
dbpedia-owl:abstract |
|
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageRevisionID |
|
dbpedia-owl:wikiPageWikiLink | |
dcterms:subject | |
rdfs:comment |
|
rdfs:label |
|
http://www.w3.org/ns/prov#wasDerivedFrom | |
foaf:isPrimaryTopicOf | |
is dbpedia-owl:wikiPageWikiLink of | |
is foaf:primaryTopic of |