Questões de Vestibular Sobre quantificadores em raciocínio lógico

Aristóteles (384 – 322 a.C.), filósofo grego, é considerado pioneiro na investigação sistemática da lógica. Em seus estudos, estabeleceu regras para relacionar proposições dadas (premissas) a uma conclusão.

Um exemplo é o argumento válido, a seguir, atribuído a Aristóteles:

Todos os homens são mortais.

Sócrates é homem.

Logo, Sócrates é mortal.

A validade de um argumento depende exclusivamente da relação existente entre as premissas e a conclusão. Portanto, a validade de um argumento resulta apenas de sua estrutura lógica (forma) e não do conteúdo do enunciado.

Considerando verdadeiras as premissas:

Todo M é P.
Algum S é M.

Pode-se concluir que