Uno de los más significativos hallazgos de la formalización de la Lógica es la dualidad entre los modi del ser: deber y poder ...