FC ConcursosFC Concursos

Questão FC148787

Considere que as letras P, Q e R representam proposições e os símbolos ¬, ∧ e → são operadores lógicos que constroem novas proposições e significam não, e e então, respectivamente.

Lógica de Proposições

CEBRASPE (CESPE)

Considere que as letras P, Q e R representam proposições e os símbolos ¬, ∧ e → são operadores lógicos que constroem novas proposições e significam não, e e então, respectivamente. Na lógica proposicional que trata da expressão do raciocínio por meio de proposições que são avaliadas (valoradas) como verdadeiras (V) ou falsas (F), mas nunca ambos, esses operadores estão definidos, para cada valoração atribuída às letras proposicionais, na tabela abaixo.



Suponha que P represente a proposição Hoje choveu, Q represente a proposição José foi à praia e R represente a proposição Maria foi ao comércio.



As letras P, Q e R representam proposições, e os esquemas acima representam quatro formas de dedução, nas quais, a partir das duas premissas (proposições acima da linha tracejada), deduz-se a conclusão (proposição abaixo da linha tracejada). Os símbolos ¬ e → são operadores lógicos que significam, respectivamente, não e então, e a definição de ∨ é dada na seguinte tabela verdade.



Considerando as informações acima e as do texto, julgue os itens que se seguem, quanto à forma de dedução.

Considere a seguinte dedução.

De acordo com a acusação, o réu roubou um carro ou roubou uma motocicleta.
O réu roubou um carro.
Portanto, o réu não roubou uma motocicleta.

Essa é uma dedução da forma II.
Mostrar resposta e comentário

Gabarito

Errado

Comentário do professor

Comentário: A dedução apresentada não está correta, pois mistura proposições disjuntivas com uma conclusão que não se segue logicamente das premissas. A forma correta de dedução para uma proposição do tipo "A ou B" e "A" implica que "B" pode ser falsa, mas não garante que "B" seja falsa. Portanto, a conclusão de que "o réu não roubou uma motocicleta" não é válida a partir das premissas dadas. Esse tipo de raciocínio é um erro de lógica, conhecido como "afirmação do antecedente", o que torna a dedução errada.

Conteúdo do catálogo FC Concursos · Atualizado em

Continue aprendendo