Resultats de la cerca
Es mostren 1 resultats
deducció natural
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.
Es mostren 1 resultats