Disyunción, ley de la

Disyunción, ley de la. (Disy).  Regla lógica de inferencia que postula: como cada una de las premisas [v] es verdadera (o al menos la suponemos asi) y la disyunción es verdadera cuando al menos uno de los disyuntos lo es, es posible entonces, si una fórmula [v. fórmula bien formada] u oración es verdadera, formular una disyunción con cualquier otra  fórmula u oración, no importando si ésta última es verdadera o falsa.

1) p                1) p & r

\\ p v q            \\ (p & r) v (s --> l)