Simulado Serviço Federal de Proc. de Dados - SERPRO | Técnico - Operação de Redes | 2019 pre-edital | Questão 147
Raciocínio Lógico / Lógica de primeira ordem
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.
Suponha que um argumento tenha como premissas as seguintes
proposições. Alguns participantes da PREVIC são servidores da União. Alguns professores universitários são servidores da União. Nesse caso, se a conclusão for “Alguns participantes da PREVIC são professores universitários”, então essas três
proposições constituirão um argumento válido.
