Sistema deductivo

Un sistema deductivo (també nomenat com a aparat deductivo d'un sistema formal) està constituït d'axioma i regles d'inferència que poden ser usats per a derivar els teoremas del sistema.

Tal sistema deductivo té com a propòsit preservar certes qualitats deductivas en les fòrmulas que són expresses en el sistema. Normalment la calitat en la qual estem preocupats és la veritat en oposició a la falsetat. No obstant, atres modalitats, tals com a justificació o creència, poden ser preservades alternativament.

A fi de mantindre la seua integritat deductiva, un aparat deductivo deu ser definit sense referència a cap interpretació pretesa del llenguage. L'objectiu és garantisar que cada llínea d'un càlcul llògic és merament una conseqüència llògica de les llínees que la precedixen. No deuria haver cap element pertanyent a qualsevol interpretació del llenguage encobert en la naturalea deductiva del sistema.

Deducció natural

La deducció natural és un sistema deductivo que seguix una via formal i utilisa arbres de derivació. La deducció natural està formada de vàries regles formals que són utilisades per a construir un determinat arbre de derivació (este sistema deductivo també és conegut com a sistema N${}_p$ en la llògica proposicional, i sistema N${}_c$ en la llògica de primer orde).

Vore també

• Gramàtica formal
• Teorema de la deducció
• Sistema axiomàtic