Lógica de classes
A lógica de classes é um ramo da lógica, que é dedicado a distinguir raciocínios corretos dos incorretos usando diagramas de Venn.[1]
Usa induções, afirmações indivíduais tanto positivas como negativas, como formas de premissas. Cada forma de premissa que parte esta lógica tem o seu teor e significado corespondiente. Assim, por exemplo:
- Universal afirmativa (chamado tipo A)[2]
- Se a proposição "Todos os peixes são aquáticos. Isso indica que o peixe de classe estão incluídos na íntegra na espécie aquática. Esta é uma relação de inclusão total e como responder, ou tem ou é expressa por "todo S é P".
- Universal negativa (chamado tipo E)[2]
- "Nenhuma criança é velha". A proposição acima indica que qualquer elemento da classe de crianças pertencentes à classe de idade. Esta é uma relação de exclusão total e é expressa, a resposta ou tem a forma "Nenhum S é P".
- Afirmativas particulares (chamadas tipo I)[2]
- "Alguns alunos são artistas" é uma proposição que estabelece que pelo menos uma turma de alunos está incluída na classe dos artistas. Esta é uma relação de inclusão parcial é expressa, a resposta ou tem a forma "Alguns S são P".
- Negativa particular (denominado tipo O)
- A proposição "Alguns rosas não são vermelhas", afirma que pelo menos uma das rosas fora da classe do vermelho. Aqui está uma relação de exclusão parcial, denominado "Alguns S não são P".[2]
Usando diagramas de Venn pode ser visto o raciocínio. Se o argumento é válido e a conclusão deverá ser determinada a partir das lojas que estão representadas no diagrama.[3]
Cada forma de raciocínio tem um convertiente, uma premissa que é equivalente, mas com frente.[4] Ex.:
- Todo S é P. Convertiente:
- Alguns P é S. S é um subconjunto de P.
- Nenhum S é P Convertiente:
- Não P é S. P não pertence a S
- Alguns S é P Convertiente:
- Alguns P é S. Há elementos que pertencem a P são S e vice-versa
- Alguns S não é P Convertiente:
- (Não têm)