Flashcard FC511711
Como se representa logicamente a condicional \(p \to q\) usando apenas negação e disjunção?
Lógica de Proposições
IBFC · 2018
Como se representa logicamente a condicional \(p \to q\) usando apenas negação e disjunção?
Mostrar resposta e comentário
Resposta
\(\neg p \vee q\)A condicional \(p\to q\) é falsa somente quando \(p\) é verdadeira e \(q\) é falsa, a disjunção \(\neg p \vee q\) também é falsa apenas nessa combinação, portanto são logicamente equivalentes.
Exemplo:
Seja \(p\): há fumaça, \(q\): o alarme toca.
A equivalência é \(p\to q \equiv \neg p \vee q\).
| \(p\) | \(q\) | \(p\to q\) | \(\neg p \vee q\) |
|---|---|---|---|
| V | V | V | V |
| V | F | F | F |
| F | V | V | V |
| F | F | V | V |
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509343
Conteúdo do catálogo FC Concursos · Atualizado em