GA3-220501093-AA1-EV01 bases conceptuales de lógica proposicional

Patricia Rodriguez Olaya

SEPTIEMBRE 2023

Servicio Nacional de Aprendizaje SENA

Formacion Titulada Virtual

Analisis Y Desarrollo De Software (2758340)

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

Construir la tabla de verdad para las siguientes expresiones:

● ( P ∧ Q)

● ( P ∨ Q)
 Lógica proposicional

Problema 1:

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

Paso 1: Evaluar la expresión aritmética (2 * 5).

(2 * 5) = 10

Paso 2: Evaluar la expresión aritmética (4 * 6).

(4 * 6) = 24

Paso 3: Evaluar la expresión aritmética (2 * 5) < 8.

(2 * 5) < 8

Paso 4: Evaluar la expresión (4 * 6) > (2 * 5).

(4 * 6) < (2 * 5)

Paso 5: Evaluar la expresión OR.

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

Solución:

La solución al problema 1 es que la expresión es verdadera.

Explicación:

La expresión OR es verdadera si al menos uno de los operandos es verdadero.

En este caso, el primer operando es verdadero, por lo que la expresión es
verdadera.
Problema 2:

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

Paso 1: Evaluar la expresión aritmética (4 + 5).

(4 + 5) = 9

Paso 2: Evaluar la expresión aritmética ( 5 * 5 ).

( 5 * 5 ) = 25

Paso 3: Evaluar la expresión aritmética (4 + 25).

(4 + 25) = 29

Paso 4: Evaluar la expresión ( 5 * 5 ) + (4 + 25) < 3.

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

Paso 5: Evaluar la expresión AND.

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

Solución: La solución al problema 2 es que la expresión es falsa.

Explicación:

La expresión AND es falsa si ambos operandos son falsos. En este caso, el

primer operando es falso, por lo que la expresión es falsa.
 Tablas de verdad

( P ∧ Q)

P Q P∧Q

V V V

V F F

F V F

F F F

( P ∨ Q)

P Q P∨Q

V V V

V F V

F V V

F F F