Question

Considere a seguinte tabela utilizada para a prova do argumento P↔Q, ~P |- ~Q. Passo Proposição Justificativa 1 P↔Q H1 2 ~P H2 3 Q→P ?, 1 4 ~Q ?, 3,2 Na justificativa das linhas 3 e 4 são usadas, respectivamente, as regras: Alternativas Alternativa 1: Dilema Construtivo e Silogismo Hipotético. Alternativa 2: Eliminação da Disjunção e Modus Ponens. Alternativa 3: Eliminação do Bicondicional e Modus Tollens. Alternativa 4: Silogismo Disjuntivo e Introdução da Conjunção. Alternativa 5: Introdução do Bicondicional e Redução ao Absurdo.

Answer 1

Resposta:

Alternativa 3

Explicação passo-a-passo:

material página. 91