Para ello introduce el cálculo de consecuencias lógicas o "secuentes".