BASES CONCEPTUALES DE LÓGICA PROPOSICIONAL GA3-220501093-

AA1-EV01

ELABORADO POR:

LUIS ALFONZO RODRIGUEZ CHAVERRA

SERVICIO NACIONAL DE APRENDIZAJE SENA

ANALISIS Y DESARROLLO DE SOFTWARE (2591669)

2023
 INTRODUCCION

En el siguiente trabajo se desarrollará los ejercicios propuestos en la

guía de aprendizaje 3 con el objetivo de afianzar los conocimientos de
tablas de verdad y lógica proposicional, recordando sus conectores y
forma de trabajarlos.
Ejercicio 1.
Ejercicio 1
(2*5) < 8 OR ((4*6) > (2*5))
Procedemos a realizar las operaciones correspondientes
Podemos evidenciar que la proposición 10 < 8 es falsa (F) y la proposición 24 > 10
es
verdadera (V)
Ahora daremos nombres a las proposiciones, donde 10 < 8 será p y 24 > 10
será q
Realizamos una pequeña tabla de verdad

Tenemos como el resultado que la expresión anterior es verdadera (V).

Ejercicio 2

Ejercicio 2
(4 + 5) < 3 AND ((5 * 5) + (4 + 25 < 3)
9 < 3 AND (25 + (29 < 3)
9 < 3 AND 54 < 3
Podemos deducir que la expresión 9 < 3 es falsa (F) y que 54 < 3 también es falsa
(F)
Ahora daremos nombres a las proposiciones, donde 9 < 3 será p y 54 > 3 será q
Realizamos una pequeña tabla de verdad

Ejercicio 3
Construcción de tabla de verdad para las siguientes expresiones:
¬ (p ^ q)
En la anterior tabla asignamos los valores correspondientes de p y q,
se procede a
encontrar el valor de p ^ q (p AND q) y el respectivo resultado lo negamos ¬ (p ^ q)
¬ (p ¬ q)

Como en el ejercicio anterior asignamos valores a p y q, luego se realizó la

negación de q (¬ q), se procede a encontrar el resultado de p y q negada p ¬ q (p
OR NEGACIÓN q) y por˅ último procedemos a negar el resultado anterior ¬ (p ¬
q) (NEGACIÓN (p OR NEGACIÓN˅ q))
 Conclusión

Con el desarrollo de la evidencia anterior se afianzaron

conocimientos sobre lógica proposicional y tablas de verdad, así
como el conocimiento de algunos conectores y su forma de
trabajar dentro de los ejercicios propuestos