Противоречие
Противоречие е, когато има две или повече твърдения, които не могат да бъдат верни едновременно.
Една история, която показва какво е това противоречие, идва от Китай. В тази история има търговец, който продава както копия, така и щитове. Той казва, че копията му са толкова остри, че могат да пробият всеки щит. В същото време казва, че щитовете му са толкова силни, че могат да блокират всяко копие. Това е противоречие, защото тези две твърдения не могат да бъдат верни едновременно. Или копието ще пробие щита, или щитът ще блокира копието, но не и двете. По тази причина думата за противоречие на китайски език е máodùn (矛盾), която буквално означава "копие и щит".
В логиката на Аристотел се казва, че две противоречащи си пропозиции не могат да бъдат едновременно верни. Например пропозициите "А е В" и "А не е В" са взаимно изключващи се. Например твърденията "Папата е католик" и "Папата не е католик" не могат да бъдат и двете верни. Само едно от твърденията, но не и другото, е истинно.
Въпроси и отговори
В: Какво е противоречие?
Отговор: Противоречие е, когато има две или повече твърдения, които не могат да бъдат верни едновременно.
В: Какво е самопротиворечиво твърдение?
О: Самопротиворечиво твърдение е твърдение, което означава противоречие в логиката и понякога се обозначава със символа "⊥" или "0".
Въпрос: Може ли копие да пробие всеки щит и щит да блокира всяко копие едновременно?
О: Не, това е противоречие, защото тези две твърдения не могат да бъдат едновременно верни.
Въпрос: Каква е думата за противоречие на китайски език?
О: Думата за противоречие на китайски език е máodùn (矛盾), което буквално означава "копие и щит".
Въпрос: Според логиката на Аристотел могат ли две противоречиви твърдения да бъдат едновременно верни?
О: Не, две противоречащи си твърдения не могат да бъдат верни и двете.
Въпрос: Взаимно изключващи се ли са твърденията "А е В" и "А не е В"?
О: Да, твърденията "А е В" и "А не е В" са взаимно изключващи се, което означава, че само едното, а не и двете, може да бъде вярно.
Въпрос: Могат ли твърденията "Папата е католик" и "Папата не е католик" да бъдат едновременно верни?
О: Не, само едно от твърденията, но не и другото, е вярно.