DfI1 es
una definición del implicador en términos del conjuntor.
DfI2 es
una definicón del implicador en términos del disyuntor.
DfC1 es
una definición del conjuntor en términos del implicador.
DfC2 es
una definición del conjuntor en términos del disyuntor.
DfD1 es
una definición del disyuntor en términos del implicador.
DfD2 es
una definición del disyuntor en términos del conjuntor.
¿Te has dado cuenta de que...