1

bases conceptuales de lógica proposicional

GA3-220501093-AA1-EV01

Aprendiz:

CARLOS JESUS ARCHBOLD FLECHAS

Instructor:
WILMER JESUS MANOTAS FERIAS

Análisis y desarrollo de software

Servicio Nacional de Aprendizaje Sena

28/Marzo/2024

Regional Cesar
 2

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

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

PASOS SOLUCION
Inicio (2 * 5) < 8 OR ((4 * 6) > (2 * 5) )
Despejamos paréntesis 2*5 < 8 OR (4*6>2*5)
Despejando paréntesis y resolviendo el 10 < 8 OR (24>10)
problema
Despejando el último paréntesis 10 < 8 OR 24>10
Obtenido el resultado 10 < 8 OR 24>10
F OR V
P Q PVQ p Q PVQ
V V V F V V
V F V
F V V
F F F

PASOS SOLUCION
Inicio (4 + 5) < 3 AND ((5 * 5) + (4 + 25 < 3)
Despejamos paréntesis 4+5 < 3 AND (5 *5) + (4+25 < 3)
Despejando paréntesis y resolviendo el 9 < 3 AND (25+29 < 3)
problema
Resolviendo el problema 9 < 3 AND 54 < 3
Obtenido el resultado 9 < 3 AND 54 < 3
F AND F
P Q P^Q p Q PVQ
V V V F F F
V F F
F V F
F F F
 3

Construir la tabla de verdad para las siguientes expresiones:

● (P ∧ Q)

● (P ∨ Q)

P Q P^Q
V V V
V F F
F V F
F F F

P Q PVQ
V V V
V F V
F V V
F F F
4