Um argumento é uma sequência finita de proposições, que são sentenças que podem ser ...

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 os itens de 16 a 18.

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”.