Cada enunciado condicional, A→B, se puede reexpresar como una derivación, A⊢B, denominada argumento correspondiente o derivación correspondiente del condicional.
(v. condicional correspondiente, implicación)
Referencias en el texto:
Cada enunciado condicional, A→B, se puede reexpresar como una derivación, A⊢B, denominada argumento correspondiente o derivación correspondiente del condicional.
(v. condicional correspondiente, implicación)
Referencias en el texto:
