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