Lógica

Vejamos o que significa a lógica, como instrumento do pensar.
• o estudo dos métodos e princípios da argumentação;
• a investigação das condições em que a conclusão de um argumento se segue necessariamente de enunciados iniciais, chamados premissas;
• o estudo que estabelece as regras da forma correta das operações do pensamento e identifica as argumentações não válidas.

Termo e Proposição A proposição é um enunciado no qual afirmamos ou negamos um termo (um conceito) de outro. No exemplo “Todo cão é mamífero” (Todo C é M), temos uma proposição em que o termo “mamífero” afirma—se do termo “cão”.

a) Qualidade e quantidade
As proposições podem ser distinguidas pela qualidade e pela quantidade: Quanto à qualidade, são afirmativas ou negativas: “Todo C é M” ou “Nenhum C é M”; Quanto à quantidade são gerais - universais ou totais - ou particulares. Estas últimas podem ser singulares caso se refiram a um só indivíduo; “Todo C é M”; “Algum C é M”; “Este C é M”, respectivamente.
Exercitando:
• “Todo cão é mamífero”: proposição universal afirmativa;
• “Nenhum animal é mineral”: universal negativa;
• “Algum metal não é solido”: particular negativa;
• "Sócrates é mortal”: singular afirmativa.

b) 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. É fácil identificar a extensão do sujeito, mas a do predicado exige maior atenção. Observe os seguintes exemplos:
• Todo paulista é brasileiro (Todo P é B)
• Nenhum brasileiro é argentino (Todo B não é A)
• Algum paulista é solteiro (Algum P é S)
• Alguma mulher não é justa (Alguma M não é J)

Para melhor visualizar, vamos representar as proposições por meio dos chamados diagramas de Euler.

Na primeira proposição, "Todo P é B”, o termo "paulista" tem extensão total (está distribuído, referindo-se a todos os paulistas); mas o termo "brasileiro” tem extensão particular (não é tomado