Flashcard FC831732
Se conhecemos \(P \lor Q\) e \(\neg P\), que conclusão lógica é válida?
Sem classificação
Pró Reitoria GP CP2 · 2024
Se conhecemos \(P \lor Q\) e \(\neg P\), que conclusão lógica é válida?
Mostrar resposta e comentário
Resposta
Q (silogismo disjuntivo).Se \(P \lor Q\) é verdadeiro e \(P\) é falso, para que a disjunção permaneça verdadeira, \(Q\) deve ser verdadeiro, portanto inferimos \(Q\).
exemplo:
"Vou ao supermercado ou cozinho em casa" e "não vou ao supermercado".
Formalmente, \(S \lor C\) e \(\neg S\).
Logo, conclui-se \(C\): "cozinho em casa".
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829218
Conteúdo do catálogo FC Concursos · Atualizado em