Simplificación, ley de la

Simplificación, ley de la. (Simpl.)  Regla lógica de inferencia que postula: dado el que en una oración [v] o fórmula conjuntiva [v] verdadera ambos conyuntos [v] son verdaderos, es posible deducir válidamente cualquiera de los dos conyuntos:

1. (p & q)                   1. (p & q)

 \\ p                        \\ q

1. (p <--> l) & (m --> t)    1. (p <--> l) & ( m --> t)

\\ p <--> l                  \\ m --> t