FACULTAD: INGENIERÍA

PROGRAMAS: INGENIERÍA ELECTRÓNICA,

INGENIERÍA BIOMÉDICA, INGENIERÍA DE SISTEMAS,

PROFESOR: EFRAÍN VÁSQUEZ MILLÁN

CONTENIDO DE LA ASIGNATURA
LÓGICA Y RAZONAMIENTO
 OBJETIVO GENERAL:
Conocer los fundamentos básicos de la lógica que
le permita adquirir competencias lingüísticas y de
razonamiento para construir argumentos
inductivos y deductivos, establecer su validez y los
utilice en los diferentes escenarios de la vida
cotidiana y académica.
 OBJETIVOS ESPECÍFICOS
• Identificar en un texto • Utilizar adecuadamente la
argumentativo, las premisas y la lógica simbólica, para la
conclusión. representación simbólica de
• Establecer la validez o invalidez argumentos complejos y para
de argumentos deductivos en determinar su validez deductiva
general, mediante su cuando es este el caso.
representación simbólica en el
cálculo proposicional o en el
cálculo de predicados, según
sea el caso.
 OBJETIVOS ESPECÍFICOS
• Identificar y corregir las falacias • Utilizar adecuadamente los
formales que se presentan por elementos y criterios de la
errores de juicio al reconocer lógica simbólica para
las condiciones suficientes y las representar simbólica- mente
condiciones necesarias en una razonamientos complejos, y
afirmación. decidir sobre su validez y
• Reconocer y aplicar los consistencia.
diferentes usos del condicional • Describir las limitaciones de la
y de los otros conectivos lógica proposicional para la
lógicos. representación simbólica de
argumentos.
 
 OBJETIVOS ESPECÍFICOS
• Utilizar adecuadamente los • Establecer la validez de
elementos y criterios del silogismos y los enunciados de
cálculo de predicados para condiciones necesarias y
representar simbólicamente suficientes como aplicaciones
razonamientos complejos, y particulares del cálculo de
decidir sobre su validez. predicados.
• Negar correctamente
enunciados que incluyen
cuantificadores y expresar tales
negaciones en lenguaje natural.
 OBJETIVOS ESPECÍFICOS
• Resolver problemas de • Establecer las hipótesis y
argumentación, de
comprensión de lectura y de
razonamiento lógico.
• Reconocer enunciados que
constituyen teoremas y
establecer su hipótesis y su
tesis o conclusión.
conclusiones requeridas en la
demostración de un teorema,
según que se proponga una
demostración directa o una
demostración indirecta por
contradicción o reducción al
absurdo, contraposición, o
contraejemplo.
 OBJETIVOS ESPECÍFICOS
• Reconocer e interpretar • Realizar operaciones con el
pruebas de teoremas sencillos álgebra de Boole y su aplicación
o pronunciarse sobre la en el diseño y simplificación de
corrección de pruebas ajenas. los llamados circuito lógico o
• Reconocer el álgebra circuitos combinatorios.
proposicional y el álgebra de
conjuntos como casos
particulares de una estructura
algebraica que resultó de
aplicación fundamental en el
desarrollo del computador
moderno: el álgebra de Boole.
 CONTENIDO
• Introducción: Un argumento
geométrico para demostrar el
teorema de Pitágoras.
• Lógica Simbólica:
Proposiciones. Conectores:
Definición de proposición.
Conectores negación,
conjunción.
 CONTENIDO

• Lógica Simbólica
(Proposicional):
Conectores disyunción,
implicación. Recíproca,
contrarrecíproca e inversa.
Bicondicional. Precedencia
de operadores lógicos.
 CONTENIDO

• Lógica Simbólica
(Proposicional): Traducción
de frases al lenguaje
natural. Especificaciones
de sistema. Búsqueda
booleana. Lógica y
operadores con bits
 CONTENIDO

• Equivalencias
proposicionales:
Introducción. Equivalencias
lógicas. Ejemplos. Tablas de
equivalencias lógicas.
 CONTENIDO

• Predicados y
cuantificadores:
Introducción.
Cuantificadores:
cuantificador universal,
cuantificador existencial.
Variables ligadas,
negaciones. Traducción de
oraciones en lenguaje
natural a lenguaje formal.
 CONTENIDO

• Cuantificadores anidados:
Introducción Formalización
de sentencias con
cuantificadores anidados.
Formalización de
sentencias en expresiones
lógicas. Negación de
cuantificadores anidados.
El orden de los
cuantificadores. Ejemplos.
 CONTENIDO

• Reglas de inferencia:
Argumentos válidos,
resolución, falacias, reglas
de inferencia para
sentencias cuantificadas
 CONTENIDO
• Introducción. El conjunto de
partes de un conjunto.
Producto cartesiano. Uso de
notación de conjuntos con
cuantificadores. Operaciones
con conjuntos: Uniones e
intersecciones generalizadas,
representación de conjuntos en
un ordenador.
 CONTENIDO

• Relaciones y sus
propiedades: Introducción.
Funciones como
relaciones. Relaciones en
un conjunto. Propiedad de
las relaciones.
Combinación de
relaciones.
 CONTENIDO

• Introducción: Definiciones.
Funciones: inyectivas y
sobreyectivas
• Funciones inversas y
composición de funciones.
Gráfica de una función.
Algunas funciones
importantes: Función parte
entera, (“piso y techo”)
propiedades.
 CONTENIDO

• Funciones Booleanas:
Introducción. Expresiones y
funciones booleanas.
Propiedades de un álgebra
de Boole. Definición
abstracta de álgebra de
Boole
 CONTENIDO

• Representación de
funciones booleanas:
Desarrollo en sumas de
productos
• Puertas Lógicas:
Introducción.
Combinaciones de puertas.
Ejemplos de circuitos.
Sumadores
 Bibliografía
• Bibliografía 4. Introducción a la Lógica.
1. Introducción a la lógica. Copi I. & Cohen C. Editorial:
Mitchell, David. Editorial: Limusa
Labor. 5. A Course in Mathematical
Logic. Yu. I. Manin, Neal
2. Lógica para informáticos.
Koblitz. Editorial: Springer-
González H. Teresa/ Martí O.
Verlag.
Narciso/ Pa- lomino T. Miguel/
Rodríguez A. Mario/ Del Vado V. 6. Mathematical Logic. J.
Rafael. Pearson. Prentice Hall Editorial: Donald Monk
3. Las Claves de la Argumentación.
Weston Anthony. Editorial: Ariel,
S.A,.