Por ello se construye un cálculo mediante cadenas deductivas: