Glosario Lógica / Término
(= Deducción) Cada enunciado condicional, A→B, se puede reexpresar como una derivación, A::B, denominada argumento correspondiente o derivación correspondiente del condicional. (Véase condicional correspondiente, implicación).
Enlace permanente: Argumento correspondiente - Fecha de actualización: 2018-11-30 - Fecha de creación: 2018-11-30