TALLER N°2 – ALGEBRA DE PROPOSICIONES

EJERCICIOS
 Si definimos ∇ y ∆ como p ∇ q=( p)⋀( q), p ∆ q=( p)⋁ ( q).
Demuestre , sinusar tablas de verdad que :

a¿ p∇ p⇔ p
b ¿ p ⋀ q ⇔ ( p ∆ q)
c ¿ p ⋁ q ⇔ ( p ∇ q)

 sin usar tablas de verdad , demuestre que p ⋁ [ ( p ) ⋀ q ] ⇔ p ⋁ q

 Demuestre [ p ⋀( p ⇒ q)]⇒ q es una tautología
 Demuestre p ⇒( p ⋁ q)es una tautología
 Demuestre : [ ( p ⇒ q ) ⇒ q ] ⇒ ( p ⋁ q )