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.
Soluções para a tarefa
Respondido por
9
Resposta:
Alternativa 3
Explicação passo-a-passo:
material página. 91
Respondido por
2
Resposta:
Explicação passo a passo:
Alternativa C
Perguntas interessantes