Diremos que dos proposiciones P y Q son lgicamente equivalentes si es una tautologa, es decir, si las tablas de verdad de P y Q son iguales.

Leyes Lgicas

Asociativas Distributivas Leyes de De Morgan De idempotencia De identidad De dominacin Inversas De absorcin

Reglas de Sustitucin

Sea P una tautologa y q una variable de P. Si sustituimos cada aparicin de q por cualquier otra proposicin Q entonces la proposicin resultante es tambin una tautologa. Sea P una tautologa y Q una proposicin que aparece en P. Si reemplazamos Q por una proposicin lgicamente a Q obtendremos una nueva proposicin lgicamente equivalente a P. Cualquier proposicin es lgicamente equivalente a otra que contiene slamente los conectivos lgicos -, v,and.

Reglas de Inferencia Dadas dos proposiciones P y Q diremos que P implica lgicamente Q , y escribiremos P \Rightarrow Q si P rightarrow Q es una tautologa. Si P es falso, entonces la proposicin P, Q es verdadera independientemente del valor de Q. Por tanto, P si los valores de las variables que hacen a P verdadero tambin hacen verdadero a Q. De manera equivalente P Q significa que P y Q no tienen nunca de manera simultnea los valores de verdad 1 y 0 respectivamente.

Como hemos dicho, las proposiciones pueden tomar dos valores, verdadero o falso, que representaremos respectivamente con los nmeros 1 y 0. Por tanto, cuando digamos que una proposicin toma valor 1 estaremos diciendo que es verdadera. El valor de verdad de una proposicin compuesta queda determinado por los valores de las proposiciones simples que la forman. Las tablas de verdad nos indican los valores de verdad de una proposicin para cada posible combinacin de los valores de las proposiciones simples.

Equivalencia lgica en la ley asociativa de la conjuncin A modo ilustrativo demostraremos, a continuacin, que, en virtud de la ley asociativa de la conjuncin, la frmula p(qr) es lgicamente equivalente a (pq)r. Para ello no hay ms que hacer la tabla de verdad de cada una de esas expresiones y comprobar si, en efecto, todas sus interpretaciones son iguales para la conectiva dominante.

Equivalencia lgica en la ley asociativa de la disyuncin Te proponemos que rellenes la siguiente tabla con Vs y Fs donde proceda para comprobar que, en virtud de la ley asociativa de la disyuncin, la frmula p(qr) es equivalente a (pq)r. Ejemplo: Las dos frmulas siguientes son equivalentes: (p q) (p r) p q r p q r q p p q p r (p q) (p r) p q p q r VVV F F VV F F F V F V V F V F F V F F VV F V F V F F V F F V V V F F F V V F F V V V V V V V F V F V V V V V F V V V V V V F F V V V V V V V F V V V V V V

donde se puede observar que la ltima yla antepenltima columnas son iguales. Las equivalencias se relacionan con las tautologas de la siguiente forma. Teorema:
Si dos frmulas lgicas son eqivalentes entonces la frmula que se obtiene al operarlas con la bicondiconal es una tautologa.

Si F ≡ G entonces F ⇔ G La propiedad inversa tambin se cumple pues si una bicondicional es una tautologa, las frmulas que la componen son equivalentes. El teorema y su inverso se comprueban directamente de la tabla de verdad de la bicondicional