Consiguiente

Consecuencia (también consecuente , del lat. consequens - de com "con, junto con" + sequi "seguir" o succediente , de succedens - "de sub después de + cedere "ir"") - utilizada en filosofía (especialmente la escuela kantiana ) y la lógica en la doctrina de los juicios , conclusiones y pruebas , concepto que significa una consecuencia, una conclusión en relación con una causa - un antecedente .

En el condicional si-entonces , el enunciado es el antecedente ; el enunciado se llama el consecuente [1] . Por ejemplo, en el enunciado condicional "si es de noche, entonces está oscuro" el antecedente es "es de noche" y la consecuencia (consecuente) es "oscuro" . $A$ $B$ $A$ $B$

En cálculo lógico formal, el concepto de consecuente se usa tanto para el lado derecho de la implicación (es un consecuente ), como en los conceptos de derivabilidad, por ejemplo, en cálculo de consecuente , donde la expresión principal es un consecuente de la forma , que muestra la derivabilidad de fórmulas de lista a partir de fórmulas de lista , el sucedente (consecuente) se llama lista . $A\Flecha derecha B$ $B$ $\Gamma \rightarrow \Delta$ $\Delta$ $\Gama$ $\Delta$

Notas

↑ Consecuente // Filosofía: Diccionario Enciclopédico / editado por A. A. Ivin. — M .: Gardariki, 2004.