Question

Considere as duas proposições compostas a seguir:

a) (~p -> q) <-> (p -> ~q)
b) ~(p -> q) <-> ~ (p-> q)

A partir da sua análise sobre essas proposições, marque a resposta correta.
Escolha uma:
a. A primeira é tautologia e a segunda é contingência.
b. Ambas são contingências.
c. A primeira é contradição e a segunda é contingência.
d. A primeira é contingência e a segunda é tautologia.

Answer 1

Bom, segundo a definição de tautologia (redundância; proposição analítica que permanece sempre verdadeira, uma vez que o atributo é uma repetição do sujeito), conclui a resposta por eliminação:

d. Já que a segunda proposição é uma repetição

Answer 2

a. A primeira é tautologia e a segunda é contingência.