Equivalencia material, regla de

Equivalencia material, regla de. Dos enunciados se dicen materialmente equivalentes cuando tienen el mismo valor de verdad. Decir que dos enunciados son materialmente equivalentes es afimar que materialmente uno implica al otro.

La regla se describe así:

(p <--> q) <--> [(p --> q) & (q --> p)]        y

(p <--> q) <--> [(p & q) v (-p & -q)]