5. El cálculo deductivo