BASES CONCEPTUALES DE LÓGICA PROPOSICIONAL GA3-220501093-AA1-

EV01

Instructor

SANDRA LILIANA HUERTAS

Presentado por:
HECTOR FABIO LEAL PRADA
FREDY ALEXANDER SANDOVAL FUQUENE
JONIEL ANDRES LARREA MORENO

Servicio Nacional De Aprendizaje – SENA

Tecnólogo en Análisis y Desarrollo del Software
2024
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))

1
pasos solución
1 INICIO (2 * 5) < 8 OR ((4 * 6) > (2 * 5))
2 Despejamos paréntesis internos 2*5<8 OR (4*6> 2*5)

3 Vamos despejando paréntesis y 10< 8 OR (24>10)

resolviendo el problema 10< 8 OR 24>10

4 Luego de despejar todos los 10<8 OR 24>10

paréntesis identificamos el resultado F OR V
5 Utilizamos la tabla OR P Q PˇQ
(DISYUNCION) F V V

6 FIN. verdadero

2
pasos solución
1 INICIO (4+ 5) < 3 AND ((5 * 5) + (4 + 25 < 3))

2 Despejamos paréntesis internos 4+5< 3 AND (5*5) +(4+25<3)

3 Despejamos paréntesis y vamos 9<3 AND (25+29<3)

resolviendo el problema 9<3 AND 54<3

4 Identificamos el resultado 9<3 AND 54<3

F AND F
5 Utilizamos la tabla AND (conjunción) P Q P^Q
F F F
6 FIN. falso
Construir la tabla de verdad para las siguientes expresiones:
 (P ∧ Q)
 (P ∨  Q)

1.conjuncion (∧)
P Q (P∧Q) (P∧Q)
V V V F
V F F V
F V F V
F F F V

2. disyunción (∨)
P Q (P∨  P ∨q
Q)
V V V F
V F V F
F V F V
F f v F