Las reglas de interdefinición

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...