Algebra I, MBI 1

Prof. Heraldo González S

Guía de ejercicios Nº1: Lógica Matemática

Equivalencia lógica: Las leyes de la lógica

(Algebra de proposiciones)

Sean p, q, r proposiciones básicas o primitivas cualesquiera, T0 una tautológica y

F0 una contradicción, entonces se cumple ( o son tautologías)

1 ~ (~ p ) ⇔ p Ley de la doble negación

2 ~ ( p ∨ q) ⇔ ~ p ∧ ~ q Leyes de DeMorgan
~ ( p ∧ q) ⇔ ~ p∨ ~ q
3 p∨q ⇔ q∨ p Leyes conmutativas
p∧q ⇔ q∧ p
4 p ∨ (q ∨ r ) ⇔ ( p ∨ q) ∨ r Leyes asociativas
p ∧ (q ∧ r ) ⇔ ( p ∧ q) ∧ r
5 p ∨ (q ∧ r ) ⇔ ( p ∨ q) ∧ ( p ∨ r ) Leyes distributivas
p ∧ (q ∨ r ) ⇔ ( p ∧ q) ∨ ( p ∧ r )
6 p∨ p ⇔ p Leyes idempotentes
p∧ p ⇔ p
7 p ∨ F0 ⇔ p Leyes de neutro
p ∧ T0 ⇔ p
8 p ∨ ~ p ⇔ T0 Leyes inversas
p ∧ ~ p ⇔ F0
9 p ∨ T0 ⇔ T0 Leyes de dominación
p ∧ F0 ⇔ F0
10 p ∨ ( p ∧ q) ⇔ p Leyes de absorción
p ∧ ( p ∨ q) ⇔ p

UNIVERSIDAD DE SANTIAGO DE CHILE 1

FACULTAD DE CIENCIA- DMCC