LEYES DEL ÁLGEBRA PROPOSICIONAL

Como dijimos en la semana anterior, aquellas fórmulas lógicas que resultan ser siempre
verdaderas no importa la combinación de los valores de verdad de sus componentes, son
tautologías o leyes lógicas. En el cálculo proposicional existen algunas tautologías
especialmente útiles cuya demostración se reduce a la confección de su correspondiente
tabla de verdad, a saber:

Doble negación
~(~p)  p
(se lee "no, no p, equivale a p")

Conmutatividad

a) de la disyunción: p  q  q  p
b) de la conjunción: p  q  q  p

Asociatividad

a) de la disyunción: (p  q)  r  p  (q  r)
b) de la conjunción: (p  q)  r  p  (q  r)

Distributividad

a)de la conjunción respecto de la disyunción:

(p  q)  r  (p  r)  (q  r)

b)de la disyunción respecto de la conjunción:

(p  q)  r  (p  r)  (q  r)

Leyes de De Morgan

~( p  q )  ~p  ~q

" La negación de una disyunción equivale a la conjunción de las negaciones"

~( p  q )  ~p  ~q
"La negación de una conjunción equivale a la disyunción de las negaciones"

1.1 Negación de una Implicación

Las proposiciones p  q y ~(p  ~q) son equivalentes, como vemos realizando la tabla de
valores correspondientes:
Con esto, comprobamos que la negación de la primera equivale a la negación de la
segunda, es decir ~(p  q)  ~{ ~(p  ~q)}, y podemos concluir entonces que:

~( p  q )  ( p  ~q)

TALLER COMPRENSIÓN

1.-¿ Cuándo dos fórmulas proposicionales son equivalentes? ¿Cuándo una proposición
implica lógicamente a otra?

2.- Si p y q son proposiciones falsa y verdadera respectivamente, halle el valor de

verdad de las siguientes proposiciones:

a) p V ( p → q ) c) p Λ ( p→ q )
b) ( p V q ) → p d) (p V q ) ↔ [ p Λ ( p→ q ) ]

3.- Si p=V , q= V, r= F. Halle el valor de verdad de los siguientes esquemas

moleculares:
a) (p Λ q ) → ( ¬ p V r ) b) p Λ q → r
c) ( p ↔ ¬ q ) → r d) ¬ r Λ [p →( r V q ) ]
e) [(pΛ q) → (q Λ r )] ↔ ¬ p f) ( ¬ p V q ) →( ¬ r Λ q )

4.- a) Si la proposición p → ( ¬ p V q ) es falso , determine el valor de verdad de :

¬ (p V q )
c) Si la proposición ( p Λ q ) → ( q→r) es falsa determine el valor de : p V r