Questão FC148722
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.
Na forma de dedução I, tem-se que a conclusão será verdadeira sempre que as duas premissas forem verdadeiras.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A afirmação é correta porque, na lógica proposicional, uma forma de dedução clássica, como a modus ponens, estabelece que se temos duas premissas verdadeiras, a conclusão também será verdadeira. Isso significa que, se as proposições que representam as premissas são verdadeiras, a proposição resultante, que representa a conclusão, deve necessariamente ser verdadeira, garantindo assim a validade da dedução. Portanto, a conclusão será verdadeira sempre que as duas premissas forem verdadeiras, o que justifica que a afirmação está correta.
Conteúdo do catálogo FC Concursos · Atualizado em