FC ConcursosFC Concursos

Questão FC149039

Um argumento é uma sequência finita de proposições, que são sentenças que podem ser julgadas como verdadeiras (V) ou falsas (F). Um argumento é válido quando contém proposições ass

Lógica de Proposições

CEBRASPE (CESPE) · 2011

Um argumento é uma sequência finita de proposições, que são sentenças que podem ser julgadas como verdadeiras (V) ou falsas (F). Um argumento é válido quando contém proposições assumidas como verdadeiras — nesse caso, denominadas premissas — e as demais proposições são inseridas na sequência que constitui esse argumento porque são verdadeiras em consequência da veracidade das premissas e de proposições anteriores. A última proposição de um argumento é chamada conclusão. Perceber a forma de um argumento é o aspecto primordial para se decidir sua validade. Duas proposições são logicamente equivalentes quando têm as mesmas valorações V ou F. Se uma proposição for verdadeira, então a sua negação será falsa, e vice-versa. Com base nessas informações, julgue o item.

A negação da proposição “Se um trabalhador tinha qualidade de segurado da previdência social ao falecer, então seus dependentes têm direito a pensão” é logicamente equivalente à proposição “Um trabalhador tinha qualidade de segurado da previdência social ao falecer, mas seus dependentes não têm direito a pensão”.
Mostrar resposta e comentário

Gabarito

Certo

Comentário do professor

Comentário: A negação de uma proposição condicional, como "Se A, então B", é equivalente à proposição "A e não B". No caso apresentado, a proposição original afirma que "um trabalhador tinha qualidade de segurado da previdência social ao falecer" implica que "seus dependentes têm direito a pensão". Sua negação, portanto, seria que o trabalhador tinha a qualidade de segurado, mas que "seus dependentes não têm direito a pensão", o que confirma a equivalência lógica. Assim, a afirmação está correta.

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

Continue aprendendo