Flashcard FC684029
De acordo com o assunto Raciocínio Lógico: Lógica de Proposições, responda: Como se conclui que um indivíduo tem B a partir de "Todo A é B" e de "a é A".
Lógica de Proposições
QUADRIX · 2025
Como se conclui que um indivíduo tem B a partir de "Todo A é B" e de "a é A".
Mostrar resposta e comentário
Resposta
Aplica-se instanciação universal à premissa ∀x (P(x) → F(x)) para obter P(Gael) → F(Gael) e, com P(Gael), aplica-se modus ponens para concluir F(Gael).A proposição sobre Amália é verdadeira, mas não é necessária para a dedução.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/670511
Conteúdo do catálogo FC Concursos · Atualizado em