Logica contenido y modulo 1
- 2. CONTENIDO PROGRAMÁTICO MÓDULO Objetivos Específicos Contenido del módulo 1 Identificar conceptos y nociones más importantes que forman parte de la lógica ¿Qué es la Lógica? De qué trata la lógica Pensamiento y Razonamiento Validez yVerdad Presentación de los Sistemas Lógicos: Lógica Proposicional Lógica de Predicados Perspectivas de los sistemas lógicos Sintáctico y Semántico 2 1. Identificar las proposiciones y sus relaciones con otras proposiciones. 2. Elaborar la tabla de verdad para una proposición. 3. Demostrar equivalencia lógica entre proposiciones. Proposiciones Conectores lógicos La forma de las proposiciones Simbología de Proposiciones Tabla de verdad de los conectores. Tautología, Contradicción y Contingencia. Equivalencia Lógica
- 3. CONTENIDO PROGRAMÁTICO MÓDULO Objetivos Específicos Contenido del módulo 3 1. Definir el lenguaje formal 2. Identificar reglas de deducción que permitan la manipulación de símbolos. 3. Demostrar la validez de un argumento a través de las reglas de inferencia Sistema Formal. Deducción Formal: natural, por reducción al absurdo, por separación de casos. El sistema de Deducción Natural Reglas de construcción de una deducción Reglas de inferencia básicas Consejos para la resolución de argumentos 4 1. Describir el lenguaje de la lógica de Predicados. 2. Demostrar la validez de un argumento a través de la lógica cuantificacional. 1. Describir el lenguaje de la lógica de Predicados. 2. Demostrar la validez de un argumento a través de la lógica cuantificacional.
- 4. El ingeniero en informática debe pensar en forma coherente, ordenada y sistemática, la lógica tiene este propósito.
- 5. Es una ciencia Deducir De cualquier enunciado mediante
- 6. Pensamiento y Razonamiento Pensamiento: proceso mental de cualquier índole que pueda abarcar desde un proceso de imaginación o recuerdo hasta asociaciones libres y el propio razonamiento inclusive. Razonamiento: es un proceso mental que partiendo de ciertas premisas, deriva en una conclusión inferida sobre la base de estas . Ejemplo: (premisa 1) Todos los números divisibles entre 2 son pares (premisa 2) 144 es un número divisible entre 2 (conclusión) Por lo tanto, 144 es un número par Validez y verdad La verdad o falsedad se dice de los enunciados y es siempre una cuestión empírica; por el contrario la validez formal o corrección es un atributo de los argumentos o deducciones. Un argumento es válido (o correcto) cuando de las premisas se sigue necesariamente su conclusión
- 7. VERDADYVALIDEZ • Solo pueden predicarse de las proposiciones y de los razonamientos deductivos, dado que no son verdaderos o falsos, sino válidos o inválidos. • La verdad o la falsedad de la conclusión no determina la validez o la invalidez de un razonamiento. • Y la verdad de un razonamiento tampoco garantiza la verdad de la conclusión. EJEMPLOS: Premisa: Todos los mamíferos son de sangre caliente Premisa:Todos los animales de sangre caliente son vertebrados Conclusión: Todos los mamíferos son vertebrados (Razonamiento valido con premisas y conclusión verdadera)
- 8. Premisa: Todos los perros son reptiles Premisa: Algunos reptiles ladran Conclusión: Todos los perros ladran. (Razonamiento lógicamente valido, porque se parte de premisas falsas y se llega a una conclusión verdadera) Premisa: Todos los mamíferos son de sangre caliente Premisa: Todos los animales de sangre caliente son vertebrados Conclusión :Todos los mamíferos se desplazan (La conclusión (aparente) no se desprende de las premisas. No hay relación entre ellas. Apareció un nuevo término "desplazarse" que no se encuentra en las premisas y que aparentemente son verdaderas. Por eso se ha establecido una ley de la lógica que expresa que NO podemos saber cuando un razonamiento es válido o inválido solamente por el contenido de las premisas y las conclusiones que como vemos aquí son verdaderos, sino por su forma.En estricto sentido no es un razonamiento, NI VALIDO NI INVÁLIDO. Premisa: Todo perro es vertebrado Premisa: Todo caballo es vertebrado Conclusión: Todo perro es caballo (Razonamiento inválido; por ser las premisas verdaderas y la conclusión falsa).
- 9. 1. Expresión, oración y enunciado: Una oración es una expresión lingüística gramaticalmente correcta que posee sentido completo. Las oraciones pueden ser, desde el punto de vista de su significado de diversos tipos: enunciativas, interrogativas, desiderativas, exclamativas, de posibilidad... Sin embargo, la lógica simbólica sólo muestra interés por aquellas oraciones a las que se les puede atribuir valor de verdad (pueden ser verdadera s o falsas): los enunciados. Un enunciado es un segmento lingüístico que tiene sentido completo y que puede ser verdadero o falso, por ejemplo, “Hoy hay rie sgo de lluvia”. 2. Argumento o razonamiento: Un argumento o deducción es aquel razonamiento mediante el cual de unos enunciados iniciales (llamados premisas) se deduce un enunciado final (llamado conclusión)