Flashcard FC891385
Como transformar a condicional "se p então q" em uma disjunção logicamente equivalente?
Lógica de Proposições
VUNESP · 2024
Como transformar a condicional "se p então q" em uma disjunção logicamente equivalente?
Mostrar resposta e comentário
Resposta
\( \neg p \vee q \)A condicional \(p \rightarrow q\) é logicamente equivalente a \(\neg p \vee q\), e é falsa somente quando \(p\) é verdadeira e \(q\) é falsa.
Exemplo:
Considere p = "está chovendo" e q = "o solo está molhado".
Caso 1: p = V, q = V → \(\neg p = F\), \(\neg p \vee q = F \vee V = V\), então a condicional é V.
Caso 2: p = V, q = F → \(\neg p = F\), \(\neg p \vee q = F \vee F = F\), então a condicional é F.
Caso 3: p = F, q = V → \(\neg p = V\), \(\neg p \vee q = V \vee V = V\), então a condicional é V.
Caso 4: p = F, q = F → \(\neg p = V\), \(\neg p \vee q = V \vee F = V\), então a condicional é V.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/76596
Conteúdo do catálogo FC Concursos · Atualizado em