Contradição
Uma contradição é quando há duas ou mais declarações que não podem ser todas verdadeiras ao mesmo tempo.
Uma história que mostra o que é uma contradição vem da China. Nesta história, há um comerciante que vende tanto lanças quanto escudos. Ele diz que suas lanças são tão afiadas que poderiam romper qualquer escudo. Ao mesmo tempo, ele diz que seus escudos são tão fortes que poderiam bloquear qualquer lança. Isto é uma contradição devido a estas duas afirmações não podem ser ambas verdadeiras. Ou a lança quebrará o escudo ou o escudo bloqueará a lança, mas não as duas coisas. Por esta razão, a palavra para contradição em chinês é máodùn (矛盾), que literalmente significa "lança e escudo".
Na lógica de Aristóteles, diz-se que duas proposições contraditórias não podem ser ambas verdadeiras. Por exemplo, as proposições "A é B" e "A não é B" são mutuamente exclusivas. Por exemplo, as afirmações "o Papa é católico" e "o Papa não é católico" não podem ser ambas verdadeiras. Apenas uma das afirmações, e não a outra, é verdadeira.
Perguntas e Respostas
P: O que é uma contradição?
R: Uma contradição ocorre quando há duas ou mais afirmações que não podem ser todas verdadeiras ao mesmo tempo.
P: O que é uma afirmação autocontraditória?
R: Uma afirmação autocontraditória é uma afirmação que denota uma contradição na lógica e, às vezes, é denotada pelo símbolo "⊥" ou "0".
P: Uma lança pode atravessar qualquer escudo e um escudo pode bloquear qualquer lança ao mesmo tempo?
R: Não, isso é uma contradição porque essas duas afirmações não podem ser verdadeiras.
P: Qual é a palavra para contradição em chinês?
R: A palavra para contradição em chinês é máodùn (矛盾), que significa literalmente "lança e escudo".
P: De acordo com a lógica de Aristóteles, duas proposições contraditórias podem ser ambas verdadeiras?
R: Não, duas proposições contraditórias não podem ser ambas verdadeiras.
P: As afirmações "A é B" e "A não é B" são mutuamente exclusivas?
R: Sim, as afirmações "A é B" e "A não é B" são mutuamente exclusivas, o que significa que somente uma delas, e não ambas, pode ser verdadeira.
P: "O papa é católico" e "o papa não é católico" podem ser ambas verdadeiras?
R: Não, apenas uma das afirmações, e não a outra, é verdadeira.
