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