Carregando...
Carregando...
Carregando...
Considere a demonstração do seguinte teorema .
Demonstração:
Assinale a alternativa que corresponde à justificativa correta para o passo 3 da demonstração.
Explique melhor esta questão
Abre o Tutor com o enunciado e as alternativas já no campo — você revisa e envia.
Esta questão foi verificada por um de nossos administradores.
Observe que por 1., temos que $(P \to Q) \to P$ . Por outro lado, por 2., temos $(P \to Q)$ . Assim, de 1., 2. e modus ponens, temos que vale P. Portanto, a resposta correta é: 1, 2 e modus ponens.