FC ConcursosFC Concursos

Questão FC148721

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.

Dadas as premissas P→Q; ¬Q; R→P, é possível fazer uma dedução de ¬R usando-se a forma de dedução IV.
Mostrar resposta e comentário

Gabarito

Certo

Comentário do professor

Comentário: A dedução proposta está correta, pois utiliza a lógica proposicional de forma adequada. Com as premissas P, Q e R, onde P é "Hoje choveu", Q é "José foi à praia" e R é "Maria foi ao comércio", a forma de dedução IV permite concluir R a partir das premissas dadas. Isso é possível, pois a lógica proposicional se baseia na validade das relações entre as proposições e, ao assumir que Q e R estão verdadeiros, podemos inferir que a conclusão R é válida. Assim, a dedução respeita as regras da lógica, tornando a afirmação correta.

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

Continue aprendendo