deducció natural

f
Lògica

Mètode de lògica proposat per Gerhard Gentzen el 1934, consistent en unes regles d’inferència, vàlides tant en la lògica sentencial com en la quantificacional.