BASES CONCEPTUALES DE LÓGICA PROPOSICIONAL IRONMAN GYM CARLOS EDUARDO VASQUEZ GRANADOS APRENDIZ PRESENTADO A LA INSTRUCTORA DIANA CAROLINA ORTEGA OROZCO SERVICIO NACIONAL DE APRENDIZAJE SENA ANALISIS Y DESARROLLO DE SOFTWARE FICHA 2721515 2023 INDICE • • • INTRODUCCION OBJETIVOS SOLUCION DE ACTIVIDAD INTRODUCCION Todo razonamiento lógico está compuesto por una serie de elementos que se interrelacionan entre sí, y la correcta interpretación de estos componentes y de sus relaciones corresponde al análisis deductivo. Estos componentes son las preposiciones y conectores lógicos OBJETIVO Resolver los ejercicios planteados para entender cómo funcionan los conectores lógicos ACTIVIDAD 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: (2 * 5) < 8 OR ((4 * 6) > (2 * 5)) (4+ 5) < 3 AND ((5 * 5) + (4 + 25 < 3)) Construir la tabla de verdad para las siguientes expresiones: ● (P ∧ Q) ● (P ∨ Q) SOLUCIÓN Problema 1: (2×5) < 8 OR ((4×6) > (2×5)) Solución: 1. Primero, resolvamos las operaciones dentro de los paréntesis: (2×5) <8 OR (24>10) 2. Ahora evaluamos la expresión: 10 < 8 OR 24 > 10 La primera parte es falsa (10<8 OR 10<8), pero la segunda es verdadera (24>10 OR 24>10). F OR V es verdadero. Por lo tanto, la expresión es verdadera. Problema 2: (4+5) < 3 AND ((5×5) +(4+25) < 3) Solución: 1. Resolvemos las operaciones dentro de los paréntesis: (9) < 3 AND (54 < 3) 2. Evaluamos las expresiones: 9 < 3 AND 54 < 3 Ambas partes son falsas (9 < 3 AND 54 < 3) F AND F es falso. Por lo tanto, la expresión es falsa. TABLAS DE VERDAD P V V F F Q V F V F (P OR Q) V V V F P V V F F Q V F V F (P AND Q) V F F F
