Considere a seguinte fórmula bem-formulada: left square bracket left parenthesis for all x right parenthesis left parenthesis P left parenthesis x ...
Considere a seguinte fórmula bem-formulada: left square bracket left parenthesis for all x right parenthesis left parenthesis P left parenthesis x right parenthesis rightwards arrow left parenthesis Q left parenthesis x right parenthesis logical or R left parenthesis x right parenthesis right parenthesis right square bracket logical and left parenthesis R left parenthesis y right parenthesis apostrophe logical and P left parenthesis y right parenthesis right parenthesis rightwards arrow Q left parenthesis y right parenthesis Analisando a demonstração abaixo, assinale a alternativa que corresponde à justificativa correta do item 4. left parenthesis for all x right parenthesis left parenthesis P left parenthesis x right parenthesis rightwards arrow left parenthesis Q left parenthesis x right parenthesis logical or R left parenthesis x right parenthesis right parenthesis hipótese R left parenthesis y right parenthesis apostrophe hipótese P left parenthesis y right parenthesis hipótese P left parenthesis y right parenthesis rightwards arrow Q left parenthesis y right parenthesis logical or R left parenthesis y right parenthesis Q left parenthesis y right parenthesis logical or R left parenthesis y right parenthesis 3,4, modus ponens Q left parenthesis y right parenthesis 2,5 e tautologia left parenthesis Q logical or R right parenthesis logical and R apostrophe right parenthesis rightwards arrow Q a. 1,3 modus ponens. b. 1,2 hipótese. c. 1,3 modus tollens. d. 1, particularização universal. e. 2,3 generalização universal.
💡 1 Resposta
Ed 
A alternativa correta é a letra "a", 1,3 modus ponens. A demonstração apresentada utiliza a regra do modus ponens, que afirma que se temos uma hipótese "p" e uma implicação "p -> q", podemos concluir que "q" é verdadeira. No caso apresentado, as hipóteses são R(y)' e P(y), e a implicação é "(P(x) -> Q(x) v R(x))". A partir disso, podemos concluir que Q(y) é verdadeira, o que é justificado pela aplicação da regra do modus ponens. Assim, a alternativa correta é a letra "a", 1,3 modus ponens.
Faça como milhares de estudantes: teste grátis o Passei Direto
Esse e outros conteúdos desbloqueados
16 milhões de materiais de várias disciplinas
Impressão de materiais
Agora você pode testar o
Passei Direto grátis
✏️ Responder
Para escrever sua resposta aqui, entre ou crie uma conta
Outros materiais
Perguntas relacionadas
Compartilhar