Implicación material, regla de la

Implicación material, regla de la. En algunos estudios de metalógica [v] la implicación material es la manera de definir el condicional a partir de la disyunción. Un condicional es equivalente a la negación del antecedente, la substitución del condicional por una disyunción y el consecuente pasa con el mismo valor de verdad como segundo disyunto.

(p --> q) <--> (-p v q)

Si alguna de las proposiciones atómicas componentes están negadas, los valores de verdad varían.

(-p --> q) <--> (- - p v q)  y utilizando la regla de doble negación en - - p , la fórmula se transforma en

(-p --> q) <--> (p v q)