Interdefinición

Una de las consecuencias del concepto de equivalencia lógica es que permite la interdefinición entre fbfs, esto es, definir unas fbfs en términos de otras. A ello aluden los conceptos de condicional correspondiente y de argumento correspondiente. Por otra parte, hay un grupo de reglas de inferencia derivadas que hemos denominado de interdefinición por mostrar cómo las funciones veritativas que definen la conjunción la disyunción y la implicación se pueden expresar de manera equivalente en términos de otras conectivas.