PROPOSICIONES COMPUESTAS:Una proposición lógica, compuesta por varias proposiciones representa das con
ley ras y unidas ente re sí con símbolos lógicos, que tenga la propiedad de que
cuando se reemplazan las ley ras por proposiciones reales siempre resulta
verdadera aunque algunas o todas esas proposiciones sean falsas, es lo que
se l lama una LEY LÓGICA.
Valor de verdad de la proposición compuesta " p  q " (p es equivalente a q)
Una equivalencia entre dos proposiciones es una proposición lógica compuesta que es
verdadera cuando las dos proposiciones tienen el mismo valor de verdad.
La Ley de la doble negación es una equivalencia que siempre es verdadera aunque la
proposición inicial sea falsa. Lo que esta ley dice es que siempre son equivalentes la doble
negación y la proposición inicial. Como ambas tienen siempre el mismo valor de verdad, la
equivalencia "(p)  p" es siempre verdadera y por eso es una ley lógica.