Flashcard FC511775
Se "Toda P é Q" é verdadeira, que conclusão válida se obtém a partir de "não Q"?
Lógica de Proposições
IBFC · 2022
Se "Toda P é Q" é verdadeira, que conclusão válida se obtém a partir de "não Q"?
Mostrar resposta e comentário
Resposta
Não P.Se a sentença universal é Toda P é Q, isso equivale logicamente a \(P \rightarrow Q\).
Uma implicação é equivalente à sua contrapositiva, portanto \(P \rightarrow Q\) é logicamente igual a \(\neg Q \rightarrow \neg P\).
Assim, ao saber que algo é \(\neg Q\), pode-se concluir \(\neg P\).
exemplo:
Enunciado: Toda flor silvestre é colorida ( \(P \rightarrow Q\) ).
Observação: um objeto não é colorido (\(\neg Q\)).
Conclusão válida: esse objeto não é uma flor silvestre (\(\neg P\)).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509407
Conteúdo do catálogo FC Concursos · Atualizado em