Flashcard FC831462
Qual é a forma logicamente equivalente à condicional \(p \to q\) usando disjunção e negação?
Lógica de Proposições
SELECON · 2025
Qual é a forma logicamente equivalente à condicional \(p \to q\) usando disjunção e negação?
Mostrar resposta e comentário
Resposta
\(\neg p \lor q\)Explicação:
A condicional \(p\to q\) é equivalente a \(\neg p\lor q\), isto é, substitui-se "se... então..." por "ou", negando o antecedente; a fórmula é falsa somente quando \(p\) é verdadeira e \(q\) é falsa.
Exemplo:
Se \(r\): está chovendo e \(s\): a rua está molhada, então \(r\to s \equiv \neg r \lor s\).
Assim, se está chovendo e a rua não está molhada, \(r\) verdadeiro e \(s\) falso, a condicional é falsa; nos demais casos é verdadeira.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/828948
Conteúdo do catálogo FC Concursos · Atualizado em