Educação pode mudar sua vida

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.