Bases conceptuales de lógica proposicional

Bases conceptuales de lógica proposicional (Tablas de Verdad) GA3220501093-AA1-EV01-Técnica
WILLIAM ALONSO SAMACA LOPEZ
Ficha: 2977378
Tunja Boyacá
Tecnología en Análisis y Desarrollo de Software
SOLUCION
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:
Ejercicio 1
Ejercicio a realizar es una disyunción
(2 * 5) < 8 OR ((4 * 6) > (2 * 5))
Se resuelve lo que está en paréntesis
(10) < 8 OR ((24) > (10))
Cancelamos paréntesis
10 < 8 OR (24 > 10)
10 < 8 OR 24 > 10
Respuesta:
Verdadero (V)
Tabla de verdad disyunción (OR) u (O)
P
V
V
F
F
Q
V
F
V
F
PVQ
V
V
V
F
Ejercicio 2
Ejercicio a realizar es una conjunción
(4+ 5) < 3 AND ((5 * 5) + (4 + 25 < 3))
Se resuelve lo que está en paréntesis
(9) < 3 AND ((25) + (29<3))
Cancelamos paréntesis
9 < 3 AND 25 + (29<3))
9<3 AND 54<3
F AND
F
Respuesta:
Falso (F)
Tabla de conjunción (AND) o (Y)
P
V
V
F
F
Q
V
F
V
F
P^Q
V
F
F
F
Construir la tabla de verdad para las siguientes expresiones:
● (P ∧ Q)
P
V
V
F
F
Q
V
F
V
F
P∧Q
V
F
F
F
¬(P∧Q)
F
V
V
V
Q
V
F
V
F
¬Q
F
V
V
V
P∨¬Q
V
V
F
V
● (P ∨ Q)
P
V
V
F
F
¬(P ∨ ¬ Q)
V
F
V
V