GUIA No 1

Leyes de Lógica

Materia: Estructuras Discretas

Docente: Msc. Ing. Katime Gutiérrez Bruno.

2020.
Guía Nº 1: Leyes de la Lógica Proposicional 1

Leyes de Lógica o Leyes de álgebra de proposiciones;

Las Proposiciones verifican ciertas propiedades conocidas como Leyes del Algebra de
Proposiciones. Estas propiedades son las siguientes
a. IDEMPOTENCIA

a.1. (p Λ p) p a.2. (p V p) p

b. Conmutatividad

b.1. p Λ q qΛp

b.2. b.2 p V q pVq

b.3. b.3 p V q qVp

b.4. p ↔ q q↔p

b.5. p ↓ q q↓p

b.6. p ↑ q q↑p

c. Asociatividad

c.1. [(p Λ q) Λ r] [p Λ (q Λ r)]

c.2. [(p V q) V r] [p V (q V r)]

c. 3.[(p ↔ q) ↔ r] [p ↔ (q ↔ r)]

c.4. [(p V q) V r] [p V (q V r)]

d. Distributividad

d.1. [p Λ (q V r)] [(p Λ q) V ( q Λ r )]

d.2. [p V (q Λ r )] ⇔ [(p V q) Λ ( q V r )]

d.3. [p→(q Λ r )] ⇔ [(p→ q) Λ ( q → r )]

d.4. [p→(q V r )] ⇔ [(p→ q) V ( q → r )]

d.5. [p→(q↔ r)] ⇔ [(p →q)↔(q→ r)]

Docente: Msc. Ing. Katime Gutiérrez

Guía Nº 1: Leyes de la Lógica Proposicional 2

e. Leyes de la condicional (implicación material)

e.1. (p → q) ( ~p V q) (Def. I.M.)

e.2. (p → q) ⇔ (p ↑ ~q) (Reduc. I.M.)

e.3. (p → q) ⇔ ( ~q→ ~p) Ley transp.

e.4. [p→(q → r )] ⇔ [q→ (p → r )]

e.5. [(pΛq)→r] ⇔ [p→(q→r)] 1ª L.E.

e.6. [(pΛq)→r] ⇔ [q→(p→r)] 2ª L.E.

f. Leyes Bicondicional

f.1.(p ↔q) ⇔ [(p Λ q) V ( ~ p Λ ~ q )]

f.2. (p ↔q) ⇔ [(p → q) Λ (q → p )]

f.3. (p ↔ q) ⇔ ( ~p ↔ ~q)

f.4. (p ↔ q) ⇔ ( ~q ↔ ~ p)

g. Negación de las operaciones binarias

g.1. ~ (p Λ q) (~ p V ~ q) L. Morgan

g.2. ~ (p V q) (~ p Λ ~ q) L. Morgan

g.3. ~ (p → q) (p Λ ~ q)

g.4. ~ (p↔q) ⇔ ( p V q) [(pΛ q) V ( pΛ q)]

g.5. (p ↓ q) (p V q)

g.6. (p ↑ q) (p V q)

g.7. (p V q) (p ↔ q)

h) Leyes de identidad

Docente: Msc. Ing. Katime Gutiérrez

Guía Nº 1: Leyes de la Lógica Proposicional 3

•(P Λ T) P
•(P Λ F) F
•(P V T) T
•(P V F) P

i) Leyes de Complementación

• (p V p) T
• (p Λ p) F
• ~T F
• ~F T
• ~ ( ~ p) p

j) Leyes de Absorción

• [p Λ (p V q)] p
• [p V (p Λ q)] p

Docente: Msc. Ing. Katime Gutiérrez