Questão de Filosofia — Lógica simbólica — VUNESP 2025

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

1. Anenhum B é B.
2. Btodo A é B.
3. Cnenhum A é B.
4. Dtodo B é A.
5. Enenhum B é A.