Flashcard FC511720
Qual é a forma equivalente em disjunção da implicação \(A \rightarrow B\)?
Lógica de Proposições
IBFC · 2017
Qual é a forma equivalente em disjunção da implicação \(A \rightarrow B\)?
Mostrar resposta e comentário
Resposta
\(A \rightarrow B\) é equivalente a \(\neg A \vee B\).A implicação é falsa somente quando \(A\) é verdadeira e \(B\) é falsa, ou seja quando \(A \land \neg B\), portanto \(A \rightarrow B\) e \(\neg A \vee B\) têm a mesma tabela-verdade.
exemplo:
Considere \(A\): “chove”, \(B\): “a rua está molhada”.
- \(A=\)V, \(B=\)V: \(A \rightarrow B=\)V, \(\neg A \vee B=\)V.
- \(A=\)V, \(B=\)F: \(A \rightarrow B=\)F, \(\neg A \vee B=\)F.
- \(A=\)F, \(B=\)V: \(A \rightarrow B=\)V, \(\neg A \vee B=\)V.
- \(A=\)F, \(B=\)F: \(A \rightarrow B=\)V, \(\neg A \vee B=\)V.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509352
Conteúdo do catálogo FC Concursos · Atualizado em