Subido por Edinson Galvis

GA3n220501093nAA1nEV01 6863fe9f15e009a

Anuncio
ANALISIS Y DESARROLLO DE SOFWARE
Bases conceptuales de lógica proposicional
GA3-220501093-AA1-EV01.
Edinson Galvis Ochoa
Ficha: 2627107
Presentado a:
Carlos Ernesto Lizarazo Sierra
Servicio Nacional de Aprendizaje SENA
Complejo Tecnológico Turístico y Agroindustrial del Occidente
Antioqueño
Medellín – Antioquia
2023
Tabla de contenidos
1. Introducción
2. Evidencia de conocimiento
Introducción
La lógica proposicional también se conoce como lógica matemática o lógica simbolice.
Es el estudio de las lógicas proposicionales o sentencias lógicas, en donde se intenta
evaluar la verdad y su nivel absoluto. Se relaciona con la matemática, ya que utiliza
símbolos que, a través de tablas de la verdad, indican lo verdadero y lo falso.
Es por esto que en la presente evidencia se trabajaran dos ejercicios de lógica
proporcional que permiten identificar un problema, reconocer los datos de entrada y
los procesos a ser aplicados como estrategia a seguir con la utilización de la lógica
proposicional en la identificación y solución de problemas.
Evidencias de conocimiento
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:
Problema de lógica proposicional 1: (2 * 5) < 8 OR ((4 * 6) > (2 * 5))
Solución Problema de lógica proposicional 1
1. Identificar el problema: Construir un documento donde se de solución
al siguiente problema de lógica proposicional donde se leen dos
ecuaciones, Operación A o Operación B, separadas por el operador OR,
por lo tanto se infiere que en el momento que alguna de las dos
ecuaciones tome el valor verdadero , el resultado del problema de lógica
proposicional propuesto es verdadero
2. Descomponer el Enunciado
P= (2*5)<8
Q= ((4*6)> (2*5))
3. Determinar los casos
pvq
4. Evaluar los posibles casos derivados del enunciado anterior (Tabla de
Verdad)
P
V
V
F
F
Q
V
F
V
F
PvQ
V
V
V
F
(2*5) < 8
10 < 8 → Falso → F
(4*6)> (2*5)
24 > 10 → Verdadero → V
Según la tabla de la verdad P v Q = F*V = V
Por lo tanto, el resultado de la ecuación
(2 * 5) < 8 OR ((4 * 6) > (2 * 5)) es Verdadero
Problema de lógica proposicional 2: (4+ 5) < 3 AND ((5 * 5) + (4 + 25 < 3))
Solución Problema de lógica proposicional 1
1. Identificar el problema: Construir un documento donde se de solución
al siguiente problema de lógica proposicional donde se leen dos
ecuaciones, Operación A y Operación B, separadas por el operador And,
por lo tanto, se infiere que en el momento que alguna de las dos
ecuaciones tome el valor Falso, el resultado del problema de lógica
proposicional propuesto es Falso
2. Descomponer el Enunciado
P= (4+ 5) < 3
Q= ((5 * 5) + (4 + 25 < 3))
3. Determinar los casos
P^Q
4. Evaluar los posibles casos derivados del enunciado anterior (Tabla de
Verdad)
P
V
V
F
F
Q
V
F
V
F
P^Q
V
F
F
F
(4+ 5) < 3
9 < 3 → Falso → F
(5 * 5) + (4 + 25 < 3)
25 + 29 < 3
53 < 3 → Falso → F
Según la tabla de la verdad P ^ Q = F*F = F
Por lo tanto, el resultado de la ecuación
(2 * 5) < 8 OR ((4 * 6) > (2 * 5)) es Falso
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)
P
V
V
F
F
Q
V
F
V
F
PvQ
V
V
V
F
Referencias
Que es la Lógica Proposicional
https://www.euroinnova.co/blog/que-es-la-logica-proposicional
EuroInnova
Descargar