Questão FC148720
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
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 argumentação.
Se juízes fossem deuses, então juízes não cometeriam erros.
Juízes cometem erros.
Portanto, juízes não são deuses.
Essa é uma dedução da forma IV.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A argumentação apresentada segue a forma do modus tollens, que é uma regra de dedução lógica. A estrutura dessa forma é: se P implica Q e Q é falso, então P também deve ser falso. No caso, "Se juízes fossem deuses (P), então juízes não cometeriam erros (Q)" e "Juízes cometem erros (¬Q)" leva à conclusão de que "juízes não são deuses (¬P)". Portanto, a dedução apresentada está correta e a afirmação de que é uma dedução da forma IV é verdadeira.
Conteúdo do catálogo FC Concursos · Atualizado em