Simulado Serviço Federal de Proc. de Dados - SERPRO | Técnico - Operação de Redes | 2019 pre-edital | Questão 148
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.
Considere o diagrama abaixo.
Esse diagrama é uma prova de que o argumento a seguir é válido, ou seja, as proposições I e II são premissas e a
proposição III é uma conclusão, pois é verdadeira por
consequência das premissas.
I Nenhum analista administrativo é dançarino.
II Todos os dançarinos são ágeis.
III Logo, nenhum analista administrativo é ágil.
