Pretrunas
Pretruna ir tad, ja ir divi vai vairāki apgalvojumi, kuri visi vienlaikus nevar būt patiesi.
No Ķīnas nāk stāsts, kas parāda, kāda ir šī pretruna. Šajā stāstā ir kāds tirgotājs, kurš pārdod gan šķēpus, gan vairogus. Viņš saka, ka viņa šķēpi esot tik asi, ka tie var izlauzt jebkuru vairogu. Tajā pašā laikā viņš saka, ka viņa vairogi ir tik spēcīgi, ka tie varētu bloķēt jebkuru šķēpu. Tas ir pretrunīgs apgalvojums, jo abi šie apgalvojumi nevar būt patiesi. Vai nu šķēps salauzīs vairogu, vai arī vairogs bloķēs šķēpu, bet ne abi. Šī iemesla dēļ ķīniešu valodā vārds, kas apzīmē pretrunu, ir máodùn (矛盾), kas burtiski nozīmē "šķēps un vairogs".
Aristoteļa loģikā ir teikts, ka divi pretrunīgi apgalvojumi abi nevar būt patiesi. Piemēram, apgalvojumi "A ir B" un "A nav B" ir savstarpēji izslēdzoši. Piemēram, apgalvojumi "pāvests ir katolis" un "pāvests nav katolis" abi nevar būt patiesi. Patiess ir tikai viens no šiem apgalvojumiem, bet ne otrs.
Jautājumi un atbildes
J: Kas ir pretruna?
Atbilde: Pretrunība ir tad, ja ir divi vai vairāki apgalvojumi, kuri visi vienlaikus nevar būt patiesi.
J: Kas ir sev pretrunīgs apgalvojums?
Atbildes: Pašsaprotams apgalvojums ir apgalvojums, kas loģikā apzīmē pretrunu un dažkārt tiek apzīmēts ar simbolu "⊥" vai "0".
J: Vai šķēps var izlauzties cauri jebkuram vairogam un vairogs vienlaikus bloķēt jebkuru šķēpu?
A: Nē, tā ir pretruna, jo abi šie apgalvojumi nevar būt patiesi.
J: Kā ķīniešu valodā apzīmē pretrunu?
A: Vārds, kas ķīniešu valodā apzīmē pretrunu, ir máodùn (矛盾), kas burtiski nozīmē "šķēps un vairogs".
J: Vai saskaņā ar Aristoteļa loģiku divi pretrunīgi apgalvojumi abi var būt patiesi?
Atbilde: Nē, divi pretrunīgi apgalvojumi nevar būt patiesi.
Vai apgalvojumi "A ir B" un "A nav B" ir savstarpēji izslēdzoši?
A: Jā, apgalvojumi "A ir B" un "A nav B" ir savstarpēji izslēdzoši, tas nozīmē, ka patiess var būt tikai viens, nevis abi.
J: Vai apgalvojums "pāvests ir katolis" un apgalvojums "pāvests nav katolis" abi var būt patiesi?
A: Nē, tikai viens no šiem apgalvojumiem, nevis otrs, ir patiess.
