Aristóteles (384 — 322 3... 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, atribuido 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) TodoSéP
(B) AlgumSéP.
(C) Nenhum S é P.
(D) Algum M é não P.
(E) Todo nao M é nao P.