Flashcard FC558406
De acordo com o assunto Raciocínio Lógico: Lógica de Primeira Ordem, responda: Como formalizar em LPO que existe um candidato que domina dois idiomas distintos.
Lógica de Primeira Ordem
IBADE · 2025
Como formalizar em LPO que existe um candidato que domina dois idiomas distintos.
Mostrar resposta e comentário
Resposta
A formalização correta é ∃x (Candidato(x) ∧ ∃y∃z (Idioma(y) ∧ Idioma(z) ∧ y ≠ z ∧ Domina(x,y) ∧ Domina(x,z))).
• ∃x: expressa a existência de um candidato na fórmula.
• ∃y e ∃z: afirmam que existem dois idiomas e a condição y ≠ z garante que são distintos.
• Predicados Domina: estabelecem que o mesmo candidato domina ambos os idiomas.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/546182
Conteúdo do catálogo FC Concursos · Atualizado em