CONTRADIÇÃO - Uma afirmação não pode ser verdadeira e falsa ao mesmo tempo, sobre as mesmas circunstâncias. Um dos princípios da lógica aristotélica.
INDUTIVO - Tipo de raciocínio que parte do particular para o universal.
DEDUTIVO - Tipo de raciocínio que parte do universal para o particular.
FALÁCIA - Sentença que parece logicamente correta, mas não é.
DISJUNÇÃO - Um dos tipos de silogismo. Uma proposição que considera A ou B.
HIPOTÉTICO - Tipo de silogismo. A conclusão nasce da inferência entre as premissas que consideram uma condição do tipo Se e somente Se A, então B.
UNIVERSAL - Classificação dos termos Todo e Nenhum de uma proposição.
PARTICULAR - Classificação dos termos Algum e Alguma de uma proposição.
DEDUTIVO - Todo gato é mamífero. Felix é um gato. Logo, Felix é mamífero. Esse raciocínio é...