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.
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)