Flashcard FC511538
Como traduzir em linguagem natural a fórmula lógica (A ∨ ¬B) → C?
Lógica de Proposições
IBFC · 2022
Como traduzir em linguagem natural a fórmula lógica (A ∨ ¬B) → C?
Mostrar resposta e comentário
Resposta
Se A ou não B, então C.Tradução: a condicional começa com Se e termina com então, o antecedente é a disjunção \(A \vee \neg B\), lida como "A ou não B", e o consequente é C, portanto a frase deve conservar a palavra ou e a negação não no antecedente.
Exemplo:
Fórmula: \( (A \vee \neg B) \to C \)
Tradução: Se o sensor detectou movimento ou a área não estava liberada, então o protocolo de segurança foi acionado.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Proposições
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509170
Conteúdo do catálogo FC Concursos · Atualizado em