Dicionário de Termos Linguísticos

Acto ou série de actos de raciocínio que as pessoas realizam quando, a partir de uma proposição ou conjunto de proposições, P, concluem uma proposição ou conjunto de proposições, Q, ou quando a partir de um conceito C1 concluem um outro conceito C2. As inferências proposicionais podem ser válidas ou inválidas. Assim, existem várias regras de inferência que nos permitem verificar se uma determinada inferência foi realizada ou não de acordo com essas regras. Algumas dessas regras são: conjunção, simplificação, modus ponens, modus tollens, etc.