A lógica de classes é um ramo da lógica, que é dedicado a distinguir raciocínios corretos dos incorretos usando diagramas de Venn.N. CHAVEZ, A. (2000) Introdução à Lógica. Lima: Noriega.

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)Garcia Zarate, Oscar. (2007) Logic. Lima: UNMSM. 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.RAVELLO REA, Bernardo. (2003) Introdução à Lógica. Lima: Mantaro.

Cada forma de raciocínio tem um convertiente, uma premissa que é equivalente, mas com frente.PEREZ, M. (2006) Lógica e Argumentação Diária Classic. Bogotá: Editorial Pontificia Universidad Javeriana. 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)

Ver também Silogismo Lógica matemática Lógica proposicional

Categoria:Lógica