Ristiriita
Ristiriidasta on kyse silloin, kun on kaksi tai useampia väittämiä, jotka kaikki eivät voi olla totta samaan aikaan.
Tarina, joka osoittaa, mikä ristiriita on, tulee Kiinasta. Tässä tarinassa on kauppias, joka myy sekä keihäitä että kilpiä. Hän sanoo, että hänen keihäänsä ovat niin teräviä, että ne voivat murtaa minkä tahansa kilven. Samaan aikaan hän sanoo, että hänen kilvensä ovat niin vahvoja, että ne voivat torjua minkä tahansa keihään. Tämä on ristiriita, koska nämä kaksi väittämää eivät voi olla molemmat totta. Joko keihäs murtaa kilven tai kilpi torjuu keihään, mutta ei molempia. Tästä syystä kiinan kielen sana ristiriidalle on máodùn (矛盾), joka tarkoittaa kirjaimellisesti "keihäs ja kilpi".
Aristoteleen logiikassa sanotaan, että kaksi ristiriitaista lausetta eivät voi molemmat olla totta. Esimerkiksi lauseet "A on B" ja "A ei ole B" sulkevat toisensa pois. Esimerkiksi väittämät "paavi on katolilainen" ja "paavi ei ole katolilainen" eivät voi molemmat olla totta. Vain toinen väittämistä, ei toinen, on tosi.
Kysymyksiä ja vastauksia
K: Mikä on ristiriita?
A: Ristiriita on se, kun on kaksi tai useampia väittämiä, jotka kaikki eivät voi olla totta yhtä aikaa.
K: Mikä on itselleen ristiriitainen väite?
A: Itselleen ristiriitainen lausuma on lausuma, joka merkitsee logiikassa ristiriitaa, ja sitä merkitään joskus symbolilla "⊥" tai "0".
K: Voiko keihäs murtaa minkä tahansa kilven ja kilpi estää minkä tahansa keihään samanaikaisesti?
V: Ei, tämä on ristiriita, koska nämä kaksi väittämää eivät voi molemmat olla totta.
K: Mikä on kiinan kielen sana ristiriidalle?
V: Kiinan kielen sana ristiriidalle on máodùn (矛盾), joka tarkoittaa kirjaimellisesti "keihäs ja kilpi".
K: Voiko Aristoteleen logiikan mukaan kaksi ristiriitaista lausetta olla molemmat totta?
V: Ei, kaksi ristiriitaista lausetta eivät voi molemmat olla totta.
K: Ovatko väittämät "A on B" ja "A ei ole B" toisensa poissulkevia?
V: Kyllä, väittämät "A on B" ja "A ei ole B" ovat toisensa poissulkevia, mikä tarkoittaa sitä, että vain toinen niistä voi olla tosi, eivät molemmat.
K: Voivatko lauseet "paavi on katolilainen" ja "paavi ei ole katolilainen" olla molemmat totta?
V: Ei, vain toinen väitteistä, ei toinen, on tosi.
