Flashcard FC831508
Qual é a forma logicamente equivalente à condicional \(P \to Q\)?
Lógica de Proposições
SELECON · 2023
Qual é a forma logicamente equivalente à condicional \(P \to Q\)?
Mostrar resposta e comentário
Resposta
\(P \to Q\) é equivalente a \(\neg P \lor Q\).A condicional é falsa apenas quando P é verdadeira e Q é falsa, nos demais casos é verdadeira, por isso \(P \to Q \equiv \neg P \lor Q\).
Exemplo: Seja A: "há problema no servidor", B: "o serviço é interrompido".
Então \(A \to B\) equivale a \(\neg A \lor B\).
Se houver problema no servidor e o serviço não for interrompido, A é verdadeira e B é falsa, a condicional é falsa; nos outros três casos, a condicional é verdadeira.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/828994
Conteúdo do catálogo FC Concursos · Atualizado em