Proposições categóricas são afirmações que relacionam duas categorias, como candidatos e aprovados. Elas aparecem em frases como “Todo A é B”, “Nenhum A é B”, “Algum A é B” e “Algum A não é B”.
Os diagramas lógicos representam essas relações por conjuntos. Eles ajudam a organizar as premissas e verificar quais conclusões estão garantidas.
Nesta aula, você aprenderá a interpretar as quatro formas, construir diagramas e resolver silogismos categóricos, com exemplos passo a passo e exercícios comentados.
1. O que são proposições categóricas?
Uma proposição categórica afirma que todos, alguns ou nenhum dos elementos de uma categoria pertencem a outra.
Se A representa candidatos e B representa aprovados, “Todo candidato é aprovado” tem a forma “Todo A é B”.
| Forma | Classificação | Significado |
|---|---|---|
| Todo A é B. | Universal afirmativa | Todos os elementos de A pertencem a B. |
| Nenhum A é B. | Universal negativa | Não existe elemento que pertença simultaneamente a A e B. |
| Algum A é B. | Particular afirmativa | Existe pelo menos um elemento nos dois conjuntos. |
| Algum A não é B. | Particular negativa | Existe pelo menos um elemento de A fora de B. |
Universal indica que a afirmação se aplica a todos os elementos da categoria. Particular afirma a existência de pelo menos um elemento com a característica indicada.
Na lógica, “algum” significa “pelo menos um”. Não significa “exatamente um” e não exige que outros elementos estejam em situação diferente.
2. Como ler diagramas de Venn e de Euler?
Cada círculo representa um conjunto. Um elemento dentro do círculo A pertence a A. A região comum a dois conjuntos é a interseção: nela ficam os elementos que pertencem aos dois.
Nos diagramas de Venn, os círculos mostram as combinações possíveis. Marcamos as regiões para informar o que sabemos sobre elas.
Nos diagramas de Euler, podemos usar círculos dentro de outros ou círculos separados para mostrar diretamente relações de inclusão e exclusão.
Nesta aula, usaremos principalmente Venn, com estas convenções:
| Marcação | Significado |
|---|---|
| Região hachurada, com linhas diagonais | Essa região está vazia. |
| X em uma região | Existe pelo menos um elemento nessa região. |
| Região sem marcação | Não sabemos se está vazia ou se contém elementos. |
O X informa existência, não uma quantidade exata. Uma região com X pode conter mais de um elemento.
Os círculos desenhados não garantem que os conjuntos tenham integrantes. Para afirmar existência, precisamos de uma informação específica.
3. Como representar as quatro proposições?
Todo A é B
Não pode existir um A fora de B. Portanto, hachuramos a região de A que fica fora de B.
Exemplo: “Todo quadrado é retângulo.” Todos os quadrados estão no conjunto dos retângulos. Isso não permite concluir que todo retângulo seja quadrado: um retângulo de lados 2 cm e 5 cm é um contraexemplo.
“Todo A é B” não garante “Todo B é A”. Também não garante, sozinha, que exista algum A. Por isso, não colocamos X nesse diagrama.
Nenhum A é B
Não existe elemento nos dois conjuntos. Por isso, hachuramos a interseção entre A e B.
Exemplo: “Nenhum número inteiro par é ímpar.” A exclusão vale nos dois sentidos: nenhum inteiro ímpar é par.
“Nenhum A é B” equivale a “Nenhum B é A”. A frase não garante a existência de integrantes em qualquer dos conjuntos.
Algum A é B
Existe pelo menos um elemento nos dois conjuntos. Colocamos um X na interseção.
Exemplo: “Algum professor é escritor.” Existe alguém que é professor e escritor. Essa mesma pessoa permite afirmar que algum escritor é professor.
“Algum A é B” equivale a “Algum B é A”. A frase admite que apenas alguns elementos de A sejam B, que todos sejam B ou que os conjuntos sejam iguais e não vazios.
Algum A não é B
Existe pelo menos um elemento de A fora de B. Colocamos o X nessa região externa a B.
Exemplo: “Algum servidor não é professor.” Existe alguém que é servidor e não é professor. A frase deixa em aberto se outros servidores são professores.
Não podemos inverter automaticamente para “Algum professor não é servidor”. Todos os professores poderiam ser servidores, com outros servidores fora do grupo dos professores.
4. Como verificar conclusões pelas premissas?
Uma premissa é uma informação da qual partimos. Uma conclusão é a afirmação que pretendemos deduzir dessas informações.
Um silogismo categórico é um argumento formado por duas premissas e uma conclusão que relacionam três categorias.
Exemplo:
- Todo A é B.
- Todo B é C.
- Logo, todo A é C.
A conclusão decorre das premissas quando é verdadeira em todas as situações que respeitam essas premissas.
Roteiro para resolver com diagramas
- Identifique os conjuntos e traduza as frases.
- Use o mesmo diagrama para reunir as informações.
- Marque primeiro as regiões vazias, indicadas pelas premissas universais.
- Depois, posicione os X, quando houver informação de existência.
- Verifique se a conclusão é obrigatória.
- Se não for, procure um contraexemplo: premissas verdadeiras com conclusão falsa.
Uma conclusão possível não é necessariamente uma conclusão garantida. E uma conclusão não garantida não precisa ser falsa em todas as situações.
5. Como resolver diagramas lógicos com três conjuntos?
Com A, B e C, cada elemento pode pertencer a um, a dois, aos três ou a nenhum dos conjuntos.
Ao receber “Algum A é B”, sabemos que existe um elemento na interseção de A e B. Mas ele está em C? Sem outra informação, não sabemos.
Neste desenho, o X está sobre a linha de C que divide a interseção entre A e B em duas regiões possíveis.
É um único marcador de existência com localização indefinida entre duas regiões. Não são dois elementos. O elemento representado pode estar dentro ou fora de C.
Se outra premissa excluir uma dessas regiões, poderemos determinar a localização do X. Se nenhuma excluir, a dúvida deve permanecer.
Regiões hachuradas não podem receber X. Se as próprias premissas exigirem que exista um elemento em uma região que elas declaram vazia, haverá incompatibilidade entre as premissas.
6. Silogismos categóricos: exemplos resolvidos passo a passo
Exemplo 1 — Existência e inclusão
Premissas:
- Algum A é B.
- Todo B é C.
Conclusão proposta: Algum A é C.
Passo 1 — Marque a região vazia. “Todo B é C” exige que a parte de B fora de C esteja vazia. Hachuramos essa região.
Passo 2 — Posicione a existência. “Algum A é B” exige um X na interseção entre A e B. A parte dessa interseção fora de C está vazia. Portanto, o X só pode ficar na região comum aos três conjuntos.
Passo 3 — Leia a conclusão. O X está em A e C. Portanto, algum A é C está garantida. Esse mesmo elemento também pertence a B.
Em palavras: se algum pesquisador é professor e todo professor concluiu a graduação, então algum pesquisador concluiu a graduação.
Exemplo 2 — Inclusão e exclusão
Premissas:
- Todo A é B.
- Nenhum B é C.
Conclusão proposta: Nenhum A é C.
Passo 1 — Represente a inclusão. Hachure a parte de A fora de B.
Passo 2 — Acrescente a exclusão. Hachure toda a interseção entre B e C, incluindo a região comum aos três conjuntos.
Passo 3 — Examine A e C. Qualquer elemento que fosse A e C teria de estar dentro ou fora de B. As duas possibilidades estão vazias: fora de B, pela primeira premissa; dentro de B, pela segunda.
Assim, toda a interseção entre A e C está vazia. Nenhum A é C está garantida.
Nenhuma premissa afirmou existência. Por isso, não colocamos X.
Exemplo 3 — Duas inclusões
Premissas: Todo A é B; todo B é C.
Conclusão: Todo A é C.
Qualquer elemento de A está em B, e qualquer elemento de B está em C. A inclusão se encadeia. Isso não afirma que exista algum A.
Exemplo 4 — Existência e exclusão
Premissas: Algum A é B; nenhum B é C.
Conclusão: Algum A não é C.
Existe um elemento que é A e B. Como nenhum B é C, esse mesmo elemento está fora de C. Logo, ele é um A que não é C.
7. Quando uma conclusão não está garantida?
Considere:
- Algum A é B.
- Algum B é C.
Conclusão proposta: Algum A é C.
Essa conclusão não está garantida. As premissas podem se referir a elementos diferentes:
| Elemento | Pertence a A? | Pertence a B? | Pertence a C? |
|---|---|---|---|
| João | Sim | Sim | Não |
| Maria | Não | Sim | Sim |
João satisfaz a primeira premissa. Maria satisfaz a segunda. Nesse exemplo, nenhum elemento pertence simultaneamente a A e C.
Temos um contraexemplo: as premissas são verdadeiras e a conclusão é falsa.
Dois “alguns” não representam necessariamente o mesmo elemento. Isso também não permite concluir que nenhum A seja C: em outra situação, poderia existir um elemento comum a A e C.
8. Erros frequentes em diagramas lógicos
Inverter uma inclusão
De “Todo A é B”, não podemos concluir “Todo B é A”. A relação pode valer em apenas uma direção.
Supor que dois grupos se encontram porque pertencem a um grupo maior
De “Todo A é C” e “Todo B é C”, não podemos concluir “Algum A é B”. Os grupos podem ocupar partes diferentes de C.
Criar elementos que o enunciado não informou
“Todo A é B” não basta para concluir “Algum A é B”. Precisamos saber que existe pelo menos um A.
Confundir o desenho com uma informação
Um espaço desenhado sem hachura não é automaticamente ocupado. Ele pode estar vazio ou conter elementos.
Alterar as premissas com conhecimento externo
Nas questões, analise as relações fornecidas. Mesmo com categorias fictícias, como “zargos” e “belos”, o método é o mesmo.
9. Quadro-resumo das conclusões válidas
| Premissas | Conclusão garantida |
|---|---|
| Nenhum A é B. | Nenhum B é A. |
| Algum A é B. | Algum B é A. |
| Todo A é B; todo B é C. | Todo A é C. |
| Todo A é B; nenhum B é C. | Nenhum A é C. |
| Algum A é B; todo B é C. | Algum A é C. |
| Algum A é B; nenhum B é C. | Algum A não é C. |
| Premissas | Conclusão não garantida |
|---|---|
| Todo A é B. | Todo B é A. |
| Algum A não é B. | Algum B não é A. |
| Algum A é B; algum B é C. | Algum A é C. |
| Todo A é C; todo B é C. | Algum A é B. |
| Todo A é B, sem informação de existência. | Algum A é B. |
10. Exercícios de diagramas lógicos com respostas comentadas
Tente resolver antes de abrir cada resposta.
Exercício 1 — Representação das proposições
Indique a região que deve ser hachurada ou receber um X:
a) Todo A é B.
b) Nenhum A é B.
c) Algum A é B.
d) Algum A não é B.
Ver resolução do exercício 1Ocultar resolução do exercício 1
- a) Hachurar a região de A fora de B.
- b) Hachurar a interseção de A e B.
- c) Colocar X na interseção.
- d) Colocar X em A, fora de B.
A hachura informa que a região está vazia. O X informa existência.
Exercício 2 — Inversão da relação
Considere verdadeira: “Todo analista é servidor.” Podemos concluir que todo servidor é analista? Justifique.
Ver resolução do exercício 2Ocultar resolução do exercício 2
Não. Os analistas estão no conjunto dos servidores, mas podem existir servidores de outras categorias. A inclusão não pode ser invertida automaticamente.
Exercício 3 — Inclusão e exclusão
Premissas:
- Todo bibliotecário é servidor.
- Nenhum servidor é integrante do grupo Z.
O que podemos concluir sobre os bibliotecários e o grupo Z?
Ver resolução do exercício 3Ocultar resolução do exercício 3
Nenhum bibliotecário é integrante do grupo Z. Os bibliotecários pertencem ao conjunto dos servidores, que não tem elementos em comum com o grupo Z.
A estrutura é: Todo A é B; nenhum B é C; logo, nenhum A é C.
Exercício 4 — Existência e inclusão
Premissas:
- Algum pesquisador é professor.
- Todo professor concluiu a graduação.
Podemos concluir que algum pesquisador concluiu a graduação?
Ver resolução do exercício 4Ocultar resolução do exercício 4
Sim. Existe alguém que é pesquisador e professor. Como todo professor concluiu a graduação, esse mesmo indivíduo é pesquisador e concluiu a graduação.
A estrutura é: Algum A é B; todo B é C; logo, algum A é C.
Exercício 5 — Duas afirmações particulares
Premissas:
- Algum músico é professor.
- Algum professor é escritor.
Podemos concluir que algum músico é escritor? Justifique.
Ver resolução do exercício 5Ocultar resolução do exercício 5
Não, a conclusão não está garantida. O professor que é músico pode ser diferente do professor que é escritor.
Por exemplo, Ana pode ser musicista e professora, sem ser escritora. Bruno pode ser professor e escritor, sem ser músico. Se apenas eles compuserem os conjuntos, as premissas serão verdadeiras e a conclusão será falsa.
Isso não demonstra que a conclusão seja falsa em todas as situações; apenas que ela não decorre das premissas.
Exercício 6 — Existência dos conjuntos
Considere apenas: “Todos os integrantes do grupo A pertencem ao grupo B.” Podemos concluir que existe algum integrante de B?
Ver resolução do exercício 6Ocultar resolução do exercício 6
Não. A premissa não garante que A nem B tenham integrantes.
Se também soubermos que existe pelo menos um integrante de A, poderemos concluir que existe pelo menos um integrante de B: esse mesmo elemento pertence aos dois conjuntos.
Exercício 7 — X com localização indefinida
Um X está na interseção de A e B, sobre a linha que separa a parte dentro de C da parte fora de C. Isso representa dois elementos? Podemos concluir que algum A é C?
Ver resolução do exercício 7Ocultar resolução do exercício 7
Não representa dois elementos. É um único marcador de existência com localização indefinida entre duas regiões.
Sem informação adicional, não podemos concluir que algum A é C. Também não podemos concluir que algum A não é C. Sabemos apenas que algum A é B.
Perguntas frequentes sobre proposições categóricas e diagramas lógicos
O que são proposições categóricas?
São afirmações que relacionam duas categorias, como candidatos e aprovados. As quatro formas principais são “Todo A é B”, “Nenhum A é B”, “Algum A é B” e “Algum A não é B”. Na lógica, “algum” significa pelo menos um, podendo incluir todos.
Como representar todo, nenhum e algum em diagramas lógicos?
Nos diagramas de Venn desta aula, “Todo A é B” exige hachurar a região de A fora de B; “Nenhum A é B” exige hachurar a interseção. Para “Algum A é B”, colocamos um X na interseção. Para “Algum A não é B”, colocamos um X em A, fora de B. A hachura informa que a região está vazia.
O que significam o X e uma região sem marcação no diagrama?
Um X indica a existência de pelo menos um elemento, sem determinar a quantidade exata. Uma região sem marcação pode estar vazia ou conter elementos. Em diagramas com três conjuntos, um X sobre a linha que separa duas regiões possíveis indica localização indefinida entre elas: é um único marcador de existência, não dois elementos. Essa convenção deve ser interpretada conforme a legenda do material.
“Todo A é B” permite concluir “Todo B é A” ou “Algum A é B”?
Não, essas conclusões não estão garantidas apenas pela premissa. “Todo quadrado é retângulo”, por exemplo, não significa que todo retângulo seja quadrado. Na lógica clássica, uma afirmação universal também não garante que A tenha integrantes. Para concluir “Algum A é B”, precisamos saber, adicionalmente, que existe pelo menos um A.
Como verificar se uma conclusão decorre das premissas?
Represente as premissas no mesmo diagrama: primeiro marque as regiões vazias e depois posicione os X cuja existência foi informada. A conclusão precisa valer em todas as situações compatíveis com as premissas. Se existir um contraexemplo com premissas verdadeiras e conclusão falsa, ela não está garantida. Por exemplo, de “Algum A é B” e “Algum B é C” não podemos concluir que algum A seja C, pois os dois “alguns” podem indicar elementos diferentes.
