BASE CONCEPTUALES DE LOGICA PROPORCIONAL

GA3-220501093-AA1

SAMUEL GOMEZ HENAO

REGION VALLE DEL CAUCA

OCTUBRE 2023

FICHA: 2721477
 DESARROLLO DEL TALLER

Teniendo en cuenta los conceptos desarrollados durante el componente formativo,

construir un documento donde se dé solución a los siguientes problemas de lógica
proposicional registrando cada uno de los pasos elaborados para llegar a la
solución:

(2 * 5) < 8 OR ((4 * 6) > (2 * 5) )

(4+ 5) < 3 AND ( ( 5 * 5 ) + (4 + 25 < 3) )

SOLUCION:

(2 * 5) < 8 OR ((4 * 6) > (2 * 5) )

10 < 8 OR 24 > 10
10 no es < que 8 OR si 24 es > que 10
Resultado: TRUE

Explicación paso a paso: lo que hicimos en este procedimiento es desarrollar todas

las operaciones de los paréntesis comenzó con la operación “2 * 5” y las
operaciones “4 * 6” y “2 * 5” y volvemos a escribir el ejercicio, pero con estos nuevos
resultados y seguimos con el procedimiento. Ahora se nos indica que demos un
resultado con base a los operadores de mayor y menor “<>” y damos la respuesta.
Ahora con base al operador OR tenemos que da como resultado TRUE ya que una
de las operaciones si es correcta, aunque la otra no lo sea.

(4 + 5) < 3 AND ( (5 * 5 ) + (4 + 25) < 3 )

9 < 3 AND (25 + 29) < 3
9 < 3 AND 54 < 3
9 no es < que 3 AND 54 no es < que 3
Resultado: TRUE
Explicación paso a paso: lo que hicimos en el procedimiento es primero resolver
desde el primer paréntesis hasta el ultimo haciendo las primeras operaciones que
son “4 + 5”, “5 * 5” y “4 + 25” después de realizar estar operaciones que son del
primer paréntesis hacemos las operaciones que siguen que son las del segundo
paréntesis “25 + 29” ya sin paréntesis y con el resultado damos la respuesta con el
operador de mayor y menor “<>” y segundo el operador de AND el resultado es
TRUE ya que las dos condiciones son correctas como indican los operadores de
mayor y menor.

TABLAS DE LA VERDAD

( P ∧ Q)
P Q P∧Q
V V V
V F V
F V V
F F F

( P ∨ Q)
P Q P∧Q
V V V
V F F
F V F
F F F