Flashcard FC264921
Como reescrever uma bicondicional p ↔ q usando apenas condicionais?
Lógica de Proposições
IDECAN · 2022
Como reescrever uma bicondicional p ↔ q usando apenas condicionais?
Mostrar resposta e comentário
Resposta
(p \leftrightarrow q) \equiv (p \to q) \land (q \to p)Explicação:
Uma bicondicional afirma que as duas implicações ocorrem simultaneamente.
Portanto \(p \leftrightarrow q\) é verdadeira exatamente quando \(p \to q\) e \(q \to p\) são verdadeiras ao mesmo tempo.
Exemplo: Seja \(p\): "o número n é par" e \(q\): "n é divisível por 2".
\(p \leftrightarrow q\) equivale a \((p \to q)\land(q \to p)\).
\(p \to q\): se n é par, então n é divisível por 2.
\(q \to p\): se n é divisível por 2, então n é par.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/262283
Conteúdo do catálogo FC Concursos · Atualizado em