Algebra Booleana Ing.

David Ordóñez Alvarado

INSTITUTO SUPERIOR TECNOLÓGICO VICENTE ROCAFUERTE – ISTVR

CARRERA DE TECNOLOGÍA SUPERIOR EN CURSO: ALGEBRA BOOLEANA
ENSAMBLAJE Y MANTENIMIENTO DE
EQUIPOS DE CÓMPUTO ACTIVIDAD INDIVIDUAL #7

LEYES DE LA IMPLICACIÓN LÓGICA

Resuelva esta actividad en el aula de clase, máximo grupos de 2 integrantes. Si alguien se

queda sin compañero lo resuelve de manera individual. Tienen 40 min para la tarea.

BASE CONCEPTUAL DE LA ACTIVIDAD

DEFINICIÓN DE IMPLICACIÓN LÓGICA

Sean 𝐴 y 𝐵 dos formas proposicionales, se dice que 𝐴 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 𝑙ó𝑔𝑖𝑐𝑎𝑚𝑒𝑛𝑡𝑒 𝑎 𝐵 si y sólo
si la condicional 𝐴 → 𝐵 es una TAUTOLOGÍA (verdadera para todas las combinaciones de
las variables proposicionales que las conforman). En este caso el símbolo de la flecha
simple (→) se reemplaza por una FLECHA DE DOBLE CUERPO: 𝐴 ⇒ 𝐵

Por ejemplo:
Considere las siguientes formas proposicionales:
𝐴: 𝑝
𝐵: 𝑞 → 𝑝
Demuestre que 𝐴 implica lógicamente a 𝐵
Para demostrar esta implicación lógica debemos demostrar que 𝐴 → 𝐵 es una
TAUTOLOGÍA. Esto se realiza con la Tabla de Verdad. En primer lugar, escribimos la
condicional, reemplazando las expresiones de cada una:
𝐴 → 𝐵 ≡ 𝑝 → (𝑞 → 𝑝)

En segundo lugar, desarrollamos la Tabla de Verdad correspondiente:

𝑝 𝑞 𝑞→𝑝 𝑝 → (𝑞 → 𝑝)
0 0 1 1
0 1 0 1
1 0 1 1
1 1 1 1

Como puede observarse, al desarrollar la Tabla de Verdad la expresión lógica es

verdadera para todas las combinaciones; por lo tanto, esta condicional es una
TAUTOLOGÍA y se puede escribir con flecha de doble grosor que representa a la
IMPLICACIÓN LÓGICA:
𝑝 ⇒ (𝑞 → 𝑝)

1
Algebra Booleana Ing. David Ordóñez Alvarado

EJERCICIO
Vamos a comprobar las llamadas LEYES DE LA IMPLICACIÓN LÓGICA, también llamadas
LEYES DE DEMOSTRACIÓN DIRECTA o también LEYES DE LA DEDUCCIÓN.

Usando Tablas de Verdad, comprueba las IMPLICACIONES LÓGICAS siguientes:

Por ejemplo, resolvamos la primera.

LEY DE LA ADICIÓN
𝑝 𝑞 𝑝∨𝑞 𝑝 → (𝑝 ∨ 𝑞)
0 0 0 1
0 1 1 1
1 0 1 1
1 1 1 1

Como puede observar, la condicional propuesta es una TAUTOLOGÍA;

Y por lo tanto podemos escribir:

que es justamente lo que queríamos demostrar.

Sigan ustedes con las otras 4 tablas…