A partir da lógica aristotélica, é estudada a extensão dos termos. A extensão é a amplitude de um termo, isto é, a coleção de todos os seres que o termo designa no contexto da proposição. Para melhor visualizá-la, vamos representar as proposições por meio dos diagramas criados por Leonard Euler (1707-1783) para representar os enunciados na lógica.

(Aranha e Martins, 2009. Adaptado)

Observe o seguinte exemplo de diagrama:



(Arquivo pessoal; imagem usada com autorização)

No excerto, a relação entre os conjuntos no diagrama corresponde à proposição que afirma que