Tomando por base as considerações de Aristóteles (384 – 322 a.C.) sobre o tema da lógica e dos silogismos, considere o argumento abaixo.



Todos os homens são mortais.

Paulo é homem.

Logo, Paulo é 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 A é B.

Algum X é A.



Pode-se concluir que





a)

algum A é não X.

b)

nenhum X é B.

c)

todo X é A.

d)

algum X é não X.

e)

algum X é B.