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 prop

Gabarito

D

Comentário do professor

O diagrama mostra o círculo B inteiramente contido no círculo A, indicando que todos os elementos representados por B também pertencem a A. Isso expressa, em termos de extensão, que a extensão de B é um subconjunto da extensão de A.

Em linguagem proposicional da lógica aristotélica, essa relação corresponde à proposição universal afirmativa todo B é A. Formalmente, pode ser escrita como \( \forall x (B(x)\rightarrow A(x)) \), isto é, para qualquer indivíduo x, se x é B então x é A.

Portanto, a inclusão do círculo B dentro do círculo A no diagrama é a representação gráfica da afirmação todo B é A, que caracteriza uma relação de inclusão entre as extensões dos termos.