FC ConcursosFC Concursos

Questão FC149151

Texto para o item Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, de forma que um julgamento exclui o outro, e são simbolizadas por letras

Lógica de Proposições

CEBRASPE (CESPE) · 2010

Texto para o item

Proposições são sentenças que podem ser julgadas como verdadeiras — V — ou falsas — F —, de forma que um julgamento exclui o outro, e são simbolizadas por letras maiúsculas, como P, Q, R etc. Novas proposições podem ser construídas usando-se símbolos especiais e parênteses. Uma expressão da forma P → Q é uma proposição cuja leitura é “se P então Q” e tem valor lógico F quando P é V e Q é F; caso contrário, é V. Uma expressão da forma P ∨ Q é uma proposição que se lê: “P ou Q”, e é F quando P e Q são F; caso contrário, é V. Uma expressão da forma P ∧ Q, que se lê “P e Q”, é V quando P e Q são V; caso contrário, é F. A forma ¬P simboliza a negação da proposição P e tem valores lógicos contrários a P. Um argumento lógico válido é uma sequência de proposições em que algumas são chamadas premissas e são verdadeiras por hipótese, e as demais são chamadas conclusões e são verdadeiras por consequência das premissas.

Considerando que cada proposição lógica simples seja representada por uma letra maiúscula e utilizando os símbolos usuais para os conectivos lógicos, julgue o item seguinte.

A sentença “Mais seis meses e logo virá o verão” é representada corretamente pela expressão simbólica P → Q.
Mostrar resposta e comentário

Gabarito

Errado

Comentário do professor

Comentário: A sentença “Mais seis meses e logo virá o verão” não é uma proposição condicional do tipo "se P então Q". Na lógica proposicional, a forma P → Q implica que a proposição P deve ser um antecedente que, quando verdadeira, leva à verdade da proposição Q. No caso apresentado, a frase sugere uma relação temporal, onde "mais seis meses" não pode ser considerado como uma condição que leva diretamente à conclusão de que "logo virá o verão". Portanto, a representação simbólica correta não é P → Q, tornando a afirmação errada.

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

Continue aprendendo