El llamado cálculo de deducción natural, es el más fácilmente ligado a la expresión lingüística habitual.