A validade lógica de um argumento pode ser definida em termos de inconsistência. Quando um argumento é válido, suas premissas mantêm uma relação de...

A validade lógica de um argumento pode ser definida em termos de inconsistência. Quando um argumento é válido, suas premissas mantêm uma relação de inconsistência com a falsidade da conclusão. Não é possível que elas sejam verdadeiras ao mesmo tempo em que a conclusão é falsa. Sob tais pressupostos, a lógica nos ajudará a dizer quando duas ou mais teses inconsistentes entre si são contraditórias ou contrárias. Sobre a diferença entre teses contraditórias e teses contrárias, assinale a alternativa CORRETA:

A) Se duas teses são contraditórias, na medida em que uma é verdadeira, a outra necessariamente é falsa, elas não podem ser contrárias na medida em que as premissas contrárias do argumento não comportam contraditoriedade.

B) Duas teses são contraditórias quando não podem ser ambas verdadeiras, mas podem ser ambas falsas. Duas teses são contrárias quando uma ao ser verdadeira, necessariamente, torna a outra falsa.

C) Duas teses são contraditórias se ambas são verdadeiras e falsas ao mesmo tempo. Duas teses são contrárias se ambas se assentam em premissas distintas.

D) Duas teses são contraditórias quando uma, ao ser verdadeira, necessariamente torna a outra falsa. Duas teses são contrárias se não podem ser ambas verdadeiras, mas podem ser ambas falsas.