ALGEBRA DE PROPOSICIONES

Ejercicios resueltos:

Clasificando algunas equivalencias Lógicas, resulta:

 Conmutativa

Conjunción Disyunción

( p ˄q ) ≡(q ˄ p) ( p ˅q ) ≡(q ˅ p)

p q ( p ˄q ) (q ˄ p) p q ( p ˅q ) (q ˅ p)

1 1 1 1 1 1 1 1

1 0 0 0 1 0 1 1

0 1 0 0 0 1 1 1

0 0 0 0 0 0 0 0
  Ley de la Idempotencia

Conjunción Disyunción

( p ˄ p) ≡ p ( p ˅ p) ≡ p

p p ( p ˄ p) p p p ( p ˅ p) p

1 1 1 1 1 1 1 1

0 0 0 0 1 0 1 1

 Ley de la contradicción

( p ˄¬ p ) ≡0

p ¬p ( p ˄¬ p¿ ) 0
1 0 0 0

0 1 0 0

 Implicación

( p →q ) ≡(¬ p ᴠ q)

p q ( p →q ) ¬p (¬ p ᴠ q)

1 1 1 0 1

1 0 0 0 0

0 1 1 1 1

0 0 1 1 1

 Ley de exportacioón
 [ ( p ˄ q ) →r ]≡[ p→(q →r )]

p q r ( p ˄q ) [ ( p ˄ q ) →r ] (q → r ) [ p →(q →r )]

1 1 1 1 1 1 1

1 1 0 1 0 0 0

1 0 1 0 1 1 1

1 0 0 0 1 1 1

0 1 1 0 1 1 1

0 1 0 0 1 0 1

0 0 1 0 1 1 1

0 0 0 0 1 1 1