Lógica:estrutura formal do pensamento baseada no princípio da argumentação.

• Conceitos primitivos: conhecimentos aceitos sem definição;

• Postulados: proposições aceitas como verdadeiras, sem demonstração;

• Teorema: proposições aceitas como verdades, mediantes demonstrações.

Em diversas questões de lógica, é comum aparecerem argumentos com premissas verdadeiras ou falsas, bem como conclusões verdadeiras ou falsas.

Argumentação: forma como utilizamos o raciocínio para convencer alguém, de algo.

Silogismo: raciocínio dedutivo estruturado a partir de duas premissas, das quais se tira uma terceira, a conclusão.

Exemplo de silogismo verdadeiro:

• Todos os humanos são mortais;

• Todos os filósofos são humanos;

• Logo, todos os filósofos são mortais.

Exemplo de silogismo falso (sofisma):

• Alguns engenheiros são professores;

• Nenhum engenheiro não comente erros;

• Logo, nenhum professor não comete erros.

Quantificadores:

• Todos;

• Pelo menos um.

Negação:

• A negação de todos são é pelo menos um não é.