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