Topic outline

  • BIENVENIDA

    Estimados estudiantes,


    Es un gusto darles la más cordial bienvenida a esta asignatura en modalidad virtual, un espacio pensado para desarrollar su capacidad de razonamiento lógico, análisis estructurado y representación gráfica de procesos, habilidades fundamentales para cualquier profesional del área informática.

  • COMPETENCIA ESPECíFICA

    El docente debe informar la competencia especifica de la asignatura 

    • This topic

      DATOS DEL DOCENTE:

      Profesor: Gustavo Jiménez

      Sección Según la Especialidad: Análisis de Sistemas.

      Semestre: 1ero

      Datos de Contacto:

        *  Número de Teléfono: 0414 405-99-10

        *  WhatsApp: 0414 405-99-10

        *  Correo: prof.gustavo.sistemas@gmail.com

      HORARIO DE ASESORÍA:

      Asesoría: Explicación para actividades o contenidos asignados.

       – De 30:00 PM A 6:00 PM Los días viernes.


      Observación:

      • DISTRIBUCIÓN DEL PRIMER SEMESTRE

        EL DOCENTE asignara en esta sección el formato de planificación de la asignatura 

        • I CORTE O MODULO: Inicia 22/11/2025 Termina 14/02/2026

          • Semana No. 1: La Lógica y el Lenguaje: Desde 22/11/2025 al 28/11/2025

          • Semana No. 2: Desde 29/11/2025 al 05/11/2025

          • Semana No. 3: Desde 06/12/2025 al 12/12/2025

            • Conectivos u operadores Lógicos. Page

              LÓGICA PROPOSICIONAL
              Conectivos u operadores Lógicos.


              Los conectivos u operadores lógicos son palabras del lenguaje formal lógico que se emplean para relacionar o combinar proposiciones simples. Los conectores lógicos enlazan o conectan proposiciones y, además, establecen algunas operaciones entre ellas. Con excepción del conector “no”, dado que niega una proposición y no la conecta con otra. Existen dos clases de operadores o conectivos lógicos: monádicos o unitarios, y diádicos o binarios. El operador monádico por excelencia es el “NO” o negación. Los operadores diádicos tienen un alcance doble: hacia la derecha y hacia la izquierda, es decir, afectan a dos variables (García Zárate, 2003) y son: conjunción, disyunción inclusiva y exclusiva, condicional y bicondicional.


          • Semana No. 4: Logíca Propocisional y tabla de la verdad 12/01/2026 al 17/01/2026

            • Lógica proposicional y La tabla de verdad Page

              La lógica proposicional es la rama de la lógica que estudia las proposiciones (enunciados que pueden ser verdaderos o falsos) y las relaciones entre ellas mediante conectores. La tabla de verdad es la herramienta fundamental de este sistema, ya que nos permite visualizar todas las posibles combinaciones de verdad o falsedad de una expresión compleja.


            • Logíca Propocisional y tabla de la verdad URL

              Lógica Proposicional y Tablas de Verdad

              ¿Qué es la Lógica Proposicional?

              La lógica proposicional (o lógica de enunciados) es un sistema formal que estudia la estructura de proposiciones y sus relaciones mediante conectivos lógicos.

              Elementos Básicos

              1. Proposiciones: Enunciados declarativos que pueden ser verdaderos (V) o falsos (F), pero no ambos.
                 - Ejemplos: "Llueve", "2+2=4", "Madrid es la capital de España"

              2. Variables proposicionales: Letras que representan proposiciones (generalmente p, q, r, ...)

              3. Conectivos lógicos:
                 - Negación (¬): "no"
                 - Conjunción (∧): "y"
                 - Disyunción (∨): "o" (inclusivo)
                 - Condicional (→): "si... entonces"
                 - Bicondicional (↔): "si y sólo si"

               Tablas de Verdad

              Una tabla de verdad es una representación sistemática de todos los valores posibles que puede tomar una fórmula proposicional.

              Tablas de Verdad para Conectivos Básicos

               1. Negación (¬p)
              | p | ¬p |
              |---|---|
              | V | F |
              | F | V |

              2. Conjunción (p ∧ q) - "y"
              | p | q | p ∧ q |
              |---|---|------|
              | V | V | V |
              | V | F | F |
              | F | V | F |
              | F | F | F |

              3. Disyunción (p ∨ q) - "o" inclusivo
              | p | q | p ∨ q |
              |---|---|------|
              | V | V | V |
              | V | F | V |
              | F | V | V |
              | F | F | F |

              4. Condicional (p → q) - "si p entonces q"
              | p | q | p → q |
              |---|---|------|
              | V | V | V |
              | V | F | F |
              | F | V | V |
              | F | F | V |

              5. Bicondicional (p ↔ q) - "p si y sólo si q"
              | p | q | p ↔ q |
              |---|---|------|
              | V | V | V |
              | V | F | F |
              | F | V | F |
              | F | F | V |

              Ejemplo Completo: (p ∧ q) → r

              | p | q | r | p ∧ q | (p ∧ q) → r |
              |---|---|-----|-------|------------|
              | V | V | V | V | V |
              | V | V | F | V | F |
              | V | F | V | F | V |
              | V | F | F | F | V |
              | F | V | V | F | V |
              | F | V | F | F | V |
              | F | F | V | F | V |
              | F | F | F | F | V |

              Conceptos Importantes

              1. Tautología: Fórmula siempre verdadera (todas V en su tabla)
              2. Contradicción: Fórmula siempre falsa (todas F en su tabla)
              3. Contingencia: Fórmula que es verdadera en algunos casos y falsa en otros
              4. Equivalencia lógica: Dos fórmulas con tablas de verdad idénticas
              5. Consecuencia lógica: Una fórmula se deduce necesariamente de otra

              Aplicaciones

              - Diseño de circuitos lógicos en electrónica
              - Programación (estructuras condicionales)
              - Demostraciones matemáticas
              - Inteligencia artificial
              - Bases de datos (consultas SQL)

              La lógica proposicional proporciona las bases para el razonamiento formal y es fundamental en matemáticas, ciencias de la computación y filosofía.

          • Semana No. 5: Evaluación de tabla de la verdad. Desde 19/01/2026 al 24/01/2026

            • Ejericios Tabla de la Verdad Assignment



              Buenas noches estimados alumnos paso por acá para dejarles el modelo de cómo será la evaluación que van a entregar el día 5 de febrero del presente año el cual deberán descargar imprimir y realizarlo a mano con la resolución de los problemas que están allí y resolver la tabla de la verdad por otro lado deben decir qué tipo pertenece si es una tautología una contradicción o una contingencia una vez terminen deben tomarle foto y subirlo en un formato ZIP a la plataforma cualquier duda o novedad me pueden escribir al teléfono que ya todos tienen deseando que salgan muy bien.o

          • Semana No. 6:Pseudocodigos 26/01/2026 al 31/01/2026

            • Pseudocodigos File

              Definición Formal

              El pseudocódigo (del griego pseudo: falso y código) es una descripción de alto nivel de un algoritmo computacional que utiliza las convenciones estructurales de un lenguaje de programación real, pero está diseñado para la lectura humana en lugar de la lectura por máquina.

              En términos sencillos: es escribir lógica de programación usando palabras de nuestro idioma, ignorando las reglas rígidas de "sintaxis" (como los puntos y comas o paréntesis complicados) para enfocarnos exclusivamente en la solución lógica.

            • Thomas H. Cormen (y el grupo CLRS): En su libro "Introduction to Algorithms" (considerado la biblia de la algoritmia), utilizan un pseudocódigo muy refinado. Su enfoque dicta que el pseudocódigo debe ser lo suficientemente claro para que cualquier programador lo traduzca a cualquier lenguaje (C++, Java, Python).

            • Donald Knuth: El padre del análisis de algoritmos. En su obra monumental "The Art of Computer Programming", aunque usa lenguajes de bajo nivel, defiende la descripción paso a paso de los procesos antes de la implementación.

            • Steven Skiena: Autor de "The Algorithm Design Manual", quien enfatiza el pseudocódigo como la herramienta principal para la comunicación entre ingenieros.