Resultado de búsqueda
En este módulo se abordan los siguientes temas: la lógica como ciencia; definición, clases de proposiciones; operadores o conectivos lógicos; tautología, contradicción y contingencia; equivalencia e implicación y las principales leyes lógicas o tautologías notables.
Capítulo I Lógica proposicional. Tema 1. Proposiciones y operadores Lógicos. 1.1 Definiciones básicas. Término: Cada parte que constituye un enunciado o discurso. Sinónimo de palabra o colección de palabras.
1.1.1 Proposiciones y Conectivos Lógicos. En un intento por sistematizar el razonamiento matemático, surge el concepto de Lógica Proposicional. Como su nombre lo explícita, trabajaremos con proposiciones lógicas; las cuales poseen un valor de verdad (verdadero o falso).
En base a razonamientos inductivos (de lo particular a lo general), podemos plantear hipótesis o predicciones científicas; sin experimentación. Permite la formalización del lenguaje científico para la posterior demostración de validez, tornándose preciso, exacto, convencional y universal.
Colombia Sede Manizales, se plantearon preguntas como: ¿Es posible abordar la lógica proposicional desde la experiencia? o de manera similar ¿cómo podemos vincular el conocimiento de la lógica matemática con el contexto de los estudiantes? Por lo tanto, se
• La description de la semántica de los lenguajes de programación y la verificación de programas. • La demostración automática de teoremas. • La programación lógica y los sistemas basados en el conocimiento en la inteligencia artificial.
A veces llamada el cálculo de la informática porque proporciona un soporte matemático para tratar con información y razonar sobre el comportamiento de los programas. En Computación, las reglas de la lógica se usan en el diseño, desarrollo, verificación y mantenimiento de programas informáticos.