bases-conceptuales-de-logica-proposicional-ga3-220501093-aa1-ev01 compress

Bases conceptuales de lógica proposicional GA3-220501093-AA1EV01
tecnologo en analisis y desarrollo de software (2455271)
1
Bases conceptuales de lógica proposicional
GA3-220501093-AA1-EV01
Presentado por:
Victor Orlando López
Jhon Fredy Zapata
Arlinson Ahumada
Servicio Nacional de Aprendizaje - SENA
Tecnología en Análisis y Desarrollo de Software
Centro de los Recursos Naturales Renovables La Salada
Regional Antioquia
2022
0
0
2
PROBLEMAS DE LÓGICA PROPOSICIONAL
Las proposiciones únicamente pueden ser falsas o verdaderas, nunca ambas y se
representan de la siguiente manera:

Proposición verdadera: <V= o <1=

Proposición falsa: <F= o <0=
EJERCICIO Nº 1
(2 * 5) < 8 OR ((4 * 6) > (2 * 5) )
10 < 8 OR
F
OR
Respuesta:
V
(24 > 10)
V
Tabla de verdad disyunción (OR) u (O)
P
Q
(P V Q)
V
V
F
F
V
F
V
F
V
V
V
F
0
0
3
EJERCICIO Nº 2
(4+ 5) < 3 AND ( ( 5 * 5 ) + (4 + 25 < 3) )
(9 < 3) AND
(25 + (29 < 3))
(9 < 3) AND
(54 < 3)
F
AND
F
F
Respuesta:
Tabla de verdad conjunción (AND) o (Y)
P
Q
(P ∧ Q)
V
V
F
F
V
F
V
F
V
F
F
F
EJERCICIO Nº 3
Solución tabla de verdad ¬ (P ∧ Q)
P
Q
(P ∧ Q)
¬ (P ∧ Q)
P
Q
(P ∧ Q)
¬ (P ∧ Q)
V
V
F
F
V
F
V
F
V
F
F
F
F
V
V
V
1
1
0
0
1
0
1
0
1
0
0
0
0
1
1
1
0
0
4
EJERCICIO Nº 4
Solución tabla de verdad ¬ (P v ¬Q)
P
Q
¬Q
(P v ¬Q)
¬ (P v ¬Q)
P
Q
¬Q
(P v ¬Q)
¬ (P v ¬Q)
V
V
F
F
V
F
V
F
F
V
F
V
V
V
F
V
F
F
V
F
1
1
0
0
1
0
1
0
0
1
0
1
1
1
0
1
0
0
1
0
0
0