Flashcard FC831601
Qual fórmula é logicamente equivalente à condicional p → q?
Lógica de Proposições
SELECON · 2022
Qual fórmula é logicamente equivalente à condicional p → q?
Mostrar resposta e comentário
Resposta
p → q é equivalente a \( \lnot p \lor q \).Isso ocorre porque p → q é falso somente quando p é verdadeiro e q é falso, situação em que \( \lnot p \lor q \) também é falso; nos demais casos ambas as fórmulas são verdadeiras.
Exemplo:
p: "ser estudante", q: "ter acesso à biblioteca".
Caso 1: p = F, q = T, \(p \rightarrow q = T\), \( \lnot p \lor q = T\).
Caso 2: p = T, q = F, \(p \rightarrow q = F\), \( \lnot p \lor q = F\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829087
Conteúdo do catálogo FC Concursos · Atualizado em