Propiedades de los operadores

lógicos

Contenido

1 Introducción

2 Equivalencias Lógicas

3 Ejercicios

Referencias

Palabras clave: Leyes de la conjunción, Leyes de la disyunción, Leyes de la implicación

1. Introducción

Continuando con el desarrollo del sistema lógico formal presentado en el Capitulo 1, en esta lectura se exponen
las principales propiedades relacionados con los operadores booleanos de la conjunción, disyunción e implicación.
El estudiante debe tener presente las tautologı́as del capitulo anterior.

2. Equivalencias Lógicas

Debe tener en cuenta la precedencia de los operadores lógicos

Operador Precedencia
¬ 1
∧ 2
∨ 3
→ 5
↔ 6

Para el operador disyunción ∨, que tiene mayor precedencia que la equivalencia y discrepancia, se tienen los
siguientes axiomas:

1
 Propiedades de la disyunción y la conjunción

Leyes de identidad: p ∨ false ≡ p (1)

p ∧ true ≡ p (2)
Leyes de dominación: p ∨ true ≡ true (3)
p ∧ false ≡ false (4)
Leyes idempotentes: p∨p≡p (5)
p∧p≡p (6)
Leyes conmutativas: p∨q ≡q∨p (7)
p∧q ≡q∧p (8)
Leyes asociativas: (p ∨ q) ∨ r ≡ p ∨ (q ∨ r) (9)
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r) (10)
Leyes distributivas: p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) (11)
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) (12)
Leyes de Morgan: ¬(p ∨ q) ≡ ¬p ∧ ¬q (13)
¬(p ∧ q) ≡ ¬p ∨ ¬q (14)
Leyes de absorción: p ∨ (p ∧ q) ≡ p (15)
p ∧ (p ∨ q) ≡ p (16)
Leyes de negación: p ∨ ¬p ≡ true (17)
p ∧ ¬p ≡ false (18)

Propiedades relacionadas con las implicaciones

Negación de la implicación: ¬(p → q) ≡ p ∧ ¬q (19)

Definición alternativa de la implicación: p → q ≡ ¬p ∨ q (20)
Distributiva de la → sobre la ∧ : p → (q ∧ r) ≡ (p → q) ∧ (p → r) (21)
Distributiva de la → sobre la ∨ : p → (q ∨ r) ≡ (p → q) ∨ (p → r) (22)
Definición alternativa del si y sólo si: p ↔ q ≡ (p ∧ q) ∨ (¬p ∧ ¬r) (23)
Negación del si y sólo si: ¬(p ↔ q) ≡ p ↔ ¬q (24)
Distributiva de la ∨ sobre el ↔: p ∨ (q ↔ r) ≡ p ∨ q ↔ p ∨ r (25)
(26)

En los siguientes ejemplos podriamos utilizar tablas de verdad para mostrar las equivalencias solicitadas. En vez
de ello, estableceremos las equivalencias desarrollando una serie de equivalencias lógicas intermedias de las tablas
anteriores.

Ejemplo 1. Justifique que las proposición A ∧ (¬A ∨ B) es equivalente a A ∧ B (esta equivalencia se conoce como
una “Ley de absorción”)

2
Solución:

A ∧ (¬A ∨ B)
≡ hDistribución de la ∧ sobre la ∨: 12i
(A ∧ ¬A) ∨ (A ∧ B)
≡ hLeyes de negación (Contradicción): 18i
false ∨ (A ∧ B)
≡ hLeyes de identidad (Neutro del operador ∨ )1i
A∧B

Ejemplo 2 (Contrareciproca). A → B ≡ ¬B → ¬A
Solución:

A→B
≡ hDefinición alternativa de la implicación:20i
¬A ∨ B
≡ hLey conmutativa de la ∨: 7i
B ∨ ¬A
≡ hdoble negación: ¬(¬B) ≡ Bi
¬(¬B) ∨ ¬A
≡ hDefinición alternativa de la implicación:20i
¬B → ¬A

Ejemplo 3 (Distributividad de la implicación sobre el si y sólo si). A → (B ↔ C) ≡ A → B ↔ A → C

Solución:

A → (B ↔ C)
≡ hDefinición alternativa de la implicación:20i
¬A ∨ (B ↔ C)
≡ hdistributividad de la ∨ sobre la ↔: 25i
(¬A ∨ B) ↔ (¬A ∨ C)
≡ hDefinición alternativa de la implicación:20i
A→B≡A→C

3
Recuerde que en una implicación A → B, la expresión A se denomina antecedente y la expresión B consecuente.
Los siguientes ejemplos presentan algunas reglas de manipulación de estas componentes y serán esenciales en el
desarrollo del tema del siguiente capitulo.

Ejemplo 4 (Traslación). A ∧ B → C ≡ A → (B → C)
Solución:

A∧B →C
≡ hDefinición alternativa de la implicación:20i
¬(A ∧ B) ∨ C
≡ hLeyes de Morgan: 14i
¬A ∨ ¬B ∨ C
≡ hLeyes asociativas: 9i
¬A ∨ (¬B ∨ C)
≡ hDefinición alternativa de la implicación:20i
¬A ∨ (B → C)
≡ hDefinición alternativa de la implicación:20i
A → (B → C)

Ejemplo 5 (Análisis de casos). A ∨ B → C ≡ (A → C) ∧ (B → C)

Solución:

A∨B →C
≡ hDefinición alternativa de la implicación:20i
¬(A ∨ B) ∨ C
≡ hLeyes de Morgan: 13i
(¬A ∧ ¬B) ∨ C
≡ hLeyes distributivas 12i
(¬A ∨ C) ∧ (¬B ∨ C)
≡ hDefinición alternativa de la implicación:20i
(A → C) ∧ (B → C)

El ejemplo 5 indica que demostrar A ∨ B → C es equivalente a demostrar que A → C y B → C. Esta “división”

en dos casos es lo que motiva el nombre de la ley.

4
 Cierre
A lo largo de esta lectura se han desarrollado los principales propiedades de los operadores de disyunción,
conjunción e implicación. En algunos casos se ha dado un nombre a las leyes que está relacionado con la
interpretación del mismo o propiedad que expresa. El estudiante debe mantener presentes los diferentes leyes
(no necesariamente su demostración), dado que será necesario para el desarrollo de los siguientes temas.
Se invita a revisar con detalle cada una de las demostraciones presentadas, dado que se aplican los diferentes
esquemas de prueba del cálculo proposicional, objetivo fundamental del módulo.

5
3. Ejercicios

1. Use tablas de verdad para verificar la ley distributiva

p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

2. Use tablas de verdad para demostrar que las siguientes implicaciones son una tautologı́a

a) p ∧ q → p
b) p → p ∨ q
c) (p → q) ∧ (q → r) → (p → r)
d ) (p ∧ (p → q)) → q

3. Demuestre que (p → q) → r no es equivalete a p → (q → r)

4. Demuestra que ¬(p ⊕ q) es lógicamente equivalente con p ↔ q

5. Demostrar que: (A → B) ∧ (¬A → B) ≡ B.

6. Demostrar el teorema de distribución de la implicación sobre la impliciación: A → (B → C) ≡ (A → B) →

(A ∧ C).

7. Demostrar que: A ∧ B → C ∨ D ≡ A ∧ ¬C → ¬B ∨ D

8. Demostrar la ley de antisimetrı́a de la implicación: (A → B) ∧ (B → A) → A ≡ B

6
Referencias

Bohórquez, J. A. (2012). Lógica y matemáticas discretas en la informática. el estilo calculatorio. Escuela Colom-
biana de Ingenierı́a Julio Garavito.
Goldstern, M., y Judah, H. (1995). The incompleteness phenomenon: a new course in mathematical logic. A K
Peters.
Gries, D., y Schneider, F. B. (1993). A logical approach to discrete math. Berlin, Heidelberg: Springer-Verlag.
Hofstadter, D. (1979). Gödel, escher, bach: An eternal golden braid. Vintage Books.
Hrbacek, K., y Jech, T. (1999). Introduction to set theory, third edition, revised and expanded. Taylor & Francis.
Recuperado de https://books.google.com.co/books?id=Er1r0n7VoSEC
Huth, M., y Ryan, M. (2004). Logic in computer science: Modelling and reasoning about systems. New York, NY,
USA: Cambridge University Press.

7
INFORMACIÓN TÉCNICA

Autor: Marı́a Isabel David