Questão
Faculdade de Tecnologia do Estado de São Paulo - FATEC
2011
Fase Única
Aristoteles-384-322-C910535b5ac
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 
A
Todo S é P. 
B
Algum S é P. 
C
Nenhum S é P. 
D
Algum M é não P. 
E
Todo não M é não P.