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. 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) * 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) * "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) * "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". 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. Cada forma de raciocínio tem um convertiente, uma premissa que é equivalente, mas com frente. 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)