.

BASES CONCEPTUALES DE
LÓGICA PROPOSICIONAL
Fase de Planeación

ANÁLISIS Y DESARROLLO DE SOFTWARE

Viviana Cristina Dorado Cortés

2455260

Julio del 2022

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

10 < 8 OR 24 > 10
F OR V
V

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

9 < 3 AND ( 25 + (29 < 3 ))
9 < 3 AND ( 54 < 3 )
F AND F
F

Construir la tabla de verdad para las siguientes expresiones:

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

¬ ( P ∨ ¬ Q)
P Q ¬Q P∨¬Q ¬ ( P ∨ ¬ Q)
F F V V F
F V F F V
V F V V F
V V F V F