GUIA No 1

Leyes de Lógica

Materia: Estructuras Discretas

MIGUEL ENRIQUE COSSIO AGUILERA

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

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

Del infinito número de tautologías posibles, se enumeran a continuación, aquellas que se

emplean con mayor frecuencia agrupándolas por afinidad.

a. IDEMPOTENCIA

a.1. (p Λ p) p

b.2. (p V p) p

b. Conmutatividad

b.1. (p Λ q ) (q Λ p)

b.2. ( p V q ) (pVq)

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 )]

Docente: Msc. Ing. Katime Gutiérrez

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

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

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

e.1. (p → q) (∼ p V q) Definición de la implicación material

e.2. (p → q) ⇔ (p ↑ ∼q) Reducción de la implicación material

e.3. (p → q) ⇔ (∼ q→∼ p) Ley de la transposición

e.4. [p→(q → r )] ⇔ [q→ (p → r )] Ley de la conmutación simple

e.5. [(p Λ q )→r] ⇔ [p→(q→r)] 1ª Ley de exportación

e.6. [(p Λ q)→r] ⇔ [q→(p→r)] 2ª Ley de exportación

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) Inversión de la Bicondicional

f.4. (p ↔ q) ⇔ ( ~q ↔ ~ p) Transposición de la bicondicional

g. Negación de las operaciones binarias

g.1. ~ (p Λ q) (~ p V ~ q) Leyes de Morgan

g.2. ~ (p V q) (~ p Λ ~ q) Leyes de Morgan

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

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

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

g.6. ~ (p ↑ q) (p ∧ 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

h.1. (P Λ T) P (T es elemento neutro en Λ)

h.2. (P Λ F) F (F es elemento absorbente en Λ)
h.3. (P V T) T (T es elemento absorbente en V)
h.4. (P V F) P (F es elemento neutro en V)

i. Leyes de Complementación

i.1. (p V ~p) T Ley del tercer excluido

i.2. (p Λ ~p) F Ley de contradicción
i.3. ~T F
i.4. ~F T
i.5. ~ ( ~ p) p Ley de involución o de doble negación

j. Leyes de Absorción

j.1. [p Λ (p V q)] p
j.2. [p V (p Λ q)] p

II. Primeros principios e implicaciones

a. Primeros principios

a.1. ~ (p Λ ~p) principio de no contradicción

a.2. p V ~p Principio de tercer excluido

a.3. p→p Principios de identidad

b. Leyes más importantes bajo la forma de implicación

b.1. p⇒(q→p) Ley paradójica

b.2. (p→∼p)⇒∼p 1ª Reducción al absurdo

b.3. (p∧∼p)⇒∼p 2ª Reducción al absurdo

b.4. p⇒(∼p→q) Ley del nuevo factor

b.5. [(p→q)∧ p]⇒q Modus ponendo ponens

b.6. [(p→q)∧ ∼q]⇒∼p Modus tollendo tollens

Docente: Msc. Ing. Katime Gutiérrez

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

b.7. [(pvq)∧ ∼p]⇒q Modus tollendo ponens

b.8. [( p →q ) ∧ ( q →r ) ] ⇒ ( p → r ) Silogismo hipotético

b.9. [( p →q ) ∧ ( r →s ) ∧ ( p v r ) ] ⇒ ( q v s ) Dilema constructivo

(silogismo disyuntivo)

b.10. [( p →q ) ∧ ( r →s ) ∧ ( ∼ q v ∼ s ) ] ⇒ ( ∼ p v ∼ r ) Dilema destructivo

Las Leyes lógicas, son aquellas que tienen el carácter de ser “siempre verdaderas” y que al
ser tratadas con el método de las tablas de verdad, tomaran siempre y únicamente el valor
de verdad V.

Docente: Msc. Ing. Katime Gutiérrez