unidad 3
DESCRIPTION
guia unidad 3TRANSCRIPT
1
FACULTAD DE INGENIERÍAPROGRAMA DE INGENIERÍA DE SISTEMAS Y COMPUTACIÓN
LÓGICA FORMAL Código 110270503 - Semestre V
Pre-requisito: Matemáticas Discretas Duración en semanas: 16 semanas
Docente: Sergio Augusto Cardona TorresCorreo electrónico: [email protected]
UNIDAD 3UNIDAD 3Argumentos y Reglas de InferenciaArgumentos y Reglas de Inferencia
La lógica por medio de la formalización del lenguaje y de sus reglas básicas, proporciona las herramientas necesarias para resolver rigurosamente problemas que tienen sus orígenes y aplicaciones en diferentes áreas de las ciencias. La lógica provee los elementos necesarios para representar el conocimiento a través de métodos de formalización de las frases declarativas. El razonamiento lógico se emplea en las matemáticas y la computación para demostrar teoremas y para resolver una multitud de situaciones problémicas.
GUIA DE LA UNIDAD 3
Estimados estudiantes, reciban una cordial bienvenida a este curso. Deseo que las estrategias de aprendizaje que se implementen en el mismo, permitan la
construcción colectiva de conocimiento y contribuyan al desarrollo de las competencias esperadas para su crecimiento académico.
PRESENTACION
2
En las unidades anteriores se han considerado los conceptos fundamentales de las proposiciones y los conectivos lógicos y se han analizado algunas técnicas que estudian las proposiciones con base a su significado semántico determinado por sus valores de verdad. En esta unidad se va a trabajar en cómo se obtiene una conclusión a partir de unas afirmaciones ya conocidas, este conjunto de técnicas no considera los valores de verdad de las proposiciones y se centra fundamentalmente en la manipulación sintáctica de las fórmulas. Su validez está determinada por la forma de las proposiciones, más no por sus valores de verdad.
Al razonamiento en la lógica se le debe considerar como un conjunto de proposiciones que se compone de premisas y conclusión. La conclusión se deriva de las premisas y se supone su correspondencia. Se supone que las premisas sirven como justificación o evidencia de la conclusión.
Existen diferentes mecanismos de inferencia tales como las tablas de verdad, el procedimiento de resolución y las reglas de inferencia. En un cálculo lógico, las reglas de inferencia o reglas de transformación son aquellos esquemas formales que nos permiten derivar unas fórmulas bien formadas (conclusiones) a partir de otras (premisas).
¿Cómo dentro del cálculo proposicional, las reglas de inferencia o reglas de transformación se convierten en esquemas formales que nos permiten derivar unas fórmulas bien formadas a partir de unas premisas?
GUIA DE LA UNIDAD 3OBJETIVO GENERAL
Estimado estudiante:Para un correcto desarrollo de este curso es necesario que lea detenidamente cada
una de la descripción de las actividades planteadas. En el caso en el que surja alguna inquietud, no dude en consultar al docente para aclarar el desarrollo de las
actividades
JUSTIFICACIÓN
PREGUNTA PROBLEMATIZADORA
3
Identificar las principales reglas de inferencia del cálculo proposicional para realizar razonamientos validos a partir de una serie de hipótesis o premisas.
El estudiante al finalizar la unidad deberá estar en capacidad de:
Conocer el concepto de argumento y su relación con el cálculo proposicional.
Realizar el análisis de razonamientos de acuerdo a la estructura, premisas y su respectiva conclusión.
Decidir cuando un argumento es válido y cuando no es válido. Comprobar la validez de un argumento mediante el método de las tablas
de verdad. Conocer las principales reglas de inferencia. Identificar la estructura para aplicar reglas de inferencia. Aplicar reglas de inferencia de acuerdo a una serie de premisas y
determinar la validez de la conclusión.
Argumentos Análisis de Razonamientos Reglas de Inferencia
Vamos a trabajar en diferentes actividades con diferentes textos que sirven de guía de la unidad y un video de YouTube. Entre las actividades tenemos: Foros, Consultas, Tareas y Wikis. Entre las tareas, existen algunas que requieren el uso de micrófonos para expresar a viva voz la opinión frente a las lecturas y el aporte de ellas a su vida personal y profesional.
GUIA DE LA UNIDAD 3
CONTENIDOS
Es importante que cree mecanismos estándar para el manejo de la información. Le sugiero guardar una CARPETA con subcarpetas por cada guía de unidad. Es importante que estos archivos los conserve por movilidad y por respaldo en una memoria USB y no sólo en su disco duro.
RECURSOS
OBJETIVOS ESPECÍFICOS
4
Material de referencia sobre: Argumentos, análisis de razonamientos y reglas de inferencia.
Video sobre lógica matemática e inferencia lógica.
El proceso que debe seguir se encuentra descrito a continuación, se relaciona cada uno de los pasos que usted debe seguir para desarrollar esta primera unidad. Es muy importante que aborde todos los tópicos, teniendo muy en cuenta las fechas y los momentos de su intervención en plataforma
1.1. Actividades de la Unidad III Primero, descargue la Guía de la Unidad 3.
Segundo, vea el Video Motivacional “Lógica Matemática”.
Tercero, participe en el Foro del Video Análisis de Razonamientos y deducción , dando respuesta a los siguientes interrogantes:
o En qué aspectos considera que es más complejo la formalización de argumentos desde el lenguaje natural?
o ¿El cálculo proposicional contiene todos los elementos para poder realizar una formalización de expresiones del lenguaje natural?
Cuarto, realice la siguiente lectura.
o Argumentos y reglas de inferencia. Sergio Augusto Cardona Torres. Universidad del Quindío. Programa de Ingeniería de Sistemas y Computación.
Quinto, contestar la siguiente consulta sobre la lectura
GUIA DE LA UNIDAD 3
PROCESO
Lea primero TODOS los pasos de este PROCESO. Así tendrá una visión global de lo que debe realizar y el tiempo
disponible para entregar resultados.
5
Dado el siguiente razonamiento:
Todos los leones son cuadrúpedos Todos los leones son carnívoros Algunos cuadrúpedos son carnívoros
El argumento es: incorrecto, válido, no válido o insatisfacible.
Sexto, realice las actividades propuestas en el Taller 5.
Debe subir el taller a la plataforma en la fecha indicada.
Séptimo, observe el video: inferencia lógica parte 8.
Octavo, participe en el Foro del Video Reglas de Inferencia.
o ¿Cuáles son las diferencias fundamentales entre los métodos de deducción analizados en las anteriores secciones y los métodos de razonamientos que usan reglas de inferencia?
o Seleccione dos reglas de inferencia y argumente su aplicabilidad en el análisis de razonamientos.
Noveno, comente a viva voz su resumen de la lectura y su aporte.
o ¿Cuáles son los elementos fundamentales del análisis de razonamientos?,
o ¿Es más eficiente la deducción por el método de las tablas de verdad, que aplicando reglas de inferencia?
o ¿Cómo compararía la eficiencia de estos métodos de inferencia frente al método de resolución?
Décimo, observe el video: inferencia lógica parte 9.
Décimo Primero, realice las actividades propuestas en el Taller 6.
Debe subir el taller a la plataforma en la fecha indicada.
Décimo Segundo, participe activamente en la construcción del Wiki.
Este wiki tiene el propósito de que entre todos construyamos un solo documento en donde concluyamos sobre:
GUIA DE LA UNIDAD 3
6
o ¿Qué relación existen entre las reglas de inferencia y los métodos de deducción del capítulo 2?
o ¿Cómo los elementos de las reglas de inferencia pueden apoyar nuestra vida profesional en relación con la toma de decisiones?
Criterios definidos para evaluar cada una de las actividades que corresponde a la unidad.
UNIDAD III: Argumentos y reglas de Inferencia– 20 %
ACTIVIDAD PORCENTAJE
Foro Análisis de razonamiento y deducción2.85 %
Consulta sobre Lectura2.85 %
Taller 52.85 %
Foro Reglas de Inferencia2.85 %
Tarea de voz2.85 %
Taller 62.85 %
Wiki: Conclusión de la Unidad2.85 %
A través de un cuadro, que sirve de síntesis, visualizar cada contenido de la unidad, qué tiempo se tiene para participar y cómo se evalúa.
Proceso Semana8
Semana 9
Semana10
Foro Análisis de razonamientosConsulta sobre LecturaTaller 5Foro Reglas de InferenciaTarea de voz
GUIA DE LA UNIDAD 3
EVALUACION
CRONOGRAMAALUACION
7
Taller 6Wiki: Conclusión de la Unidad
[1]Silvia Bianchi. El predicado expresa propiedades y relaciones entre objetos. http://www.fceia.unr.edu.ar/~iilcc/libro/PDF/capítulo05_nuevo.pdf.
[2]Rafael Ramírez. Universidad de Pompeu Fabra. Lógica y Lenguajes Formales. http://www.dtic.upf.edu/~rramirez/Logica/L01.pdf.
[3]Carlos Escaño Fryganas, Reglas de Inferencia. http://www.juntadeandalucia.es/averroes/emilioprados/filosof/Logica/Reglas%20de%20inferencia.htm
[4]Universidad Andrés Bello. Haroldo Cornejo Olivari. http://www.hcornejo.com/Algebra/Apuntes%20de%20logica.pdf .
[1]Lógica Matemática Lógica http://www.youtube.com/embed/GCn8Benwy3g
[2]Inferencia Lógica. http://www.youtube.com/embed/JOH8M3K_pcM
[3]Inferencia Lógica http://www.youtube.com/embed/k_u5fkzlUBk
[1]Caicedo, Xavier. Elementos de lógica y calculabilidad. Departamento de matemáticas Universidad de los Andes. Bogotá1990.
[2]Fernández Vindel José Luis, Manjarrés Riesco Ángeles, Díez Vegas Francisco Javier. Lógica Computacional., Dpto. Inteligencia Artificial, E.T.S.I. Informática, UNED, 2003
GUIA DE LA UNIDAD 3
REFERENCIAS WEB
VIDEOS YOUTUBE
REFERENCIAS BIBLIOGRAFICAS
8
[3]Labra, José E, Fernández Ana I. Lógica Proposicional para Informática. Escuela Universitaria de Ingeniería Técnica Informática. Universidad de Oviedo. Octubre, 1998.
[4]Blanco Javier, Smith Silvina, Barsoti Damián. Calculo de programas. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física.
Docente: Sergio Augusto Cardona TorresCorreo electrónico: [email protected]
GUIA DE LA UNIDAD 3