Bases conceptuales de lógica proposicional GA3-220501093-AA1-EV01.

Bases conceptuales de lógica proposicional
GA3-220501093-AA1-EV01.
Estudiante:
HERNANDO IRIARTE BARRIOS
FICHA No. 2879656
Instructor:
URELIANO PEÑATA HERNANDEZ
SERVICIO NACIONAL DE APRENDIZAJE
SENA
ANALISIS Y DESARROLLO DE SOFTWARE. (2879656)
P228118 V2879656 R13 C9218
Aprendiz modalidad Virtual
PUERTO WILCHES
Junio 22 de 2024
1
INTRODUCCION
En el presente trabajo se desarrollan los ejercicios de bases conceptuales de lógica
proposicional, con base en los conocimientos adquiridos en el material deformación
Introducción a la algoritmia del programa de Análisis y desarrollo de Software.
OBJETIVOS
Solucionar problemas de lógica proposicional incorporando habilidades propias en
el oficio como programador.
Objetivos específicos:
• Presentar el paso a paso de las dos preposiciones dadas.
• Crear 4 tablas de verdades, una de cada proposición dada.
Bases conceptuales de lógica proposicional.
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 al registrado cada uno de los pasos elaborados para llegar a la
solución:
1. (2 * 5) < 8 OR ((4 * 6) > (2 * 5))
Ejercicio No.1
PASOS
SOLUCIÓN
1
INICIO
(2 * 5) < 8 OR ((4 * 6) > (2 * 5))
2
Despejemos paréntesis internos
2 * 5 < 8 OR (4 * 6 > 2 * 5)
3
Vamos despejando paréntesis y
resolviendo el problema
10 < 8 OR (24 > 10)
10 < 8 OR 24 > 10
4
Luego de despejar todos los paréntesis
Identificamos el resultado
10 < 8 OR 24 < 10
F OR V
Utilizamos la tabla OR (DISYUNCION)
P Q P^Q
F V
V
5
6
Fin
Verdadero
P: (2 * 5) < 8 = F
Q: ((4 * 6) > (2 * 5)) = V
2
Entonces podemos decir que:
Que 10 es menor que 8= Falso
O 24 mayor que 10= Verdadero
2. (4+ 5) < 3 AND ((5 * 5) + (4 + 25 < 3))
Ejercicio No. 2
PASOS
SOLUCIÓN
1
INICIO
(4+ 5) < 3 AND ((5 * 5) + (4 + 25 < 3))
2
Despejemos paréntesis internos
4 + 5 < 3 AND (5 * 5) + (4 + 25 < 3)
3
Despejamos paréntesis y vamos resolviendo el
problema
9 < 3 AND (25 + 29 < 3)
9 < 3 AND 54 < 3
4
Identificamos el resultado
9 < 3 AND 54 < 3
F
AND F
Utilizamos la tabla AND (CONJUNCION)
5
6
Fin
P Q
F F
P^Q
F
Falso
Entonces podemos decir que:
Que 9 es menor que 3= Falso y
Que 54 es menor que 3= Falso
Construir la tabla de verdad para las siguientes expresiones:
1. (P ∧ Q) CONJUNCIÓN (AND) o (Y)
TABLA DE VERDAD (P ∧ Q)
P
P
P^Q
V
V
V
V
F
F
F
V
F
F
F
F
3
2. (P v Q) DISYUNCIÓN (OR) u (O)
TABLA DE VERDAD (P v Q)
P
P
P^Q
V
V
V
V
F
V
F
V
V
F
F
F
Tablas de verdad
4
CONCLUSIÓN
Con el desarrollo de la evidencia anterior se afianzaron conocimientos sobre lógica
proposicional y tablas de verdad, así como el conocimiento de algunos conectores
y su forma de trabajar dentro de los ejercicios propuestos.
5