Adición, regla de la

Adición, regla de la. Regla de inferencia [v] que establece que a cualquier fórmula es posible adicionarla con otra cualquier sin modificar su valor de verdad sea el disyunto[v] que se agrega, falso o verdadero, proque siendo verdadero el primer disyunto, garantiza la verdad de la fórmula entera. Ejemplos:

                        p                                             r & s

                        ----                                          ----------------

                        p v q                                (r & s) v (m --> g)

                        p --> q                                   p <--> r

                        -------                                     ------------

                        (p -->q) v t                       (p <--> r) v (p & r)