UNIVERSIDAD NACIONAL DE CAJAMARCA

FACULTAD DE INGENIERA
ESCUELA ACADMICO PROFESIONAL
DE INGENIERIA GEOLGICA
DEPARTAMENTO ACADMICO DE MATEMTICAS

SLABO DE LOGICA
I. Datos informativos
1.1. Departamento Acadmico
1.2. rea Curricular
1.3. Cdigo
1.3. Prerrequisito
:
1.4. Crditos
:
1.5. Horas de Teora
1.6. Horas de Prctica
:
1.7. Condicin
:
1.8. Ao de Estudios/ciclo
1.9. Ciclo Acadmico
:
1.10. Duracin
:
1.11. Inicio de clases
1.12. Trmino de clases
:
1.13. Grupo
1.14. Docente
:
1.15. Email
1.16. Celular
1.17. Ambiente para tutora
Matemticas. 1G-105.

: Matemticas.
: Matemticas.
: 250835
Ninguno.
03.
: 02.
03.
Obligatorio.
: Primer Ao/I Ciclo.
2016-I
17 semanas.
: 18 de abril del 2016.
12 de agosto del 2016.
:A
Mg. Maximiliano Cndor Huamn
: maxconh@jhotmail.com
: 976541302
: Departamento Acadmico de

II. Fundamentacin
II.1.
Aporte de la asignatura al perfil profesional de Ingeniera
de Sistemas
La asignatura de Lgica, en el plan curricular de la carrera de Ingeniera de
Sistemas es de Formacin General, se ubica en el I Ciclo, y es requisito para
otras asignaturas de la formacin del Ingeniero de Sistemas.
El ingeniero de sistemas requiere una formacin slida de la lgica, en sus
contenidos, fundamentos y demostraciones, en los fundamentos tericos de
las leyes de la lgica se basa toda la estructura de la computacin y la
informtica, la programacin, y los sistemas simples y complejos. Por ello, el
estudiante de sistemas debe comprender y aplicar las leyes de la lgica en
modo abstracto y generalizado, para su posterior aplicacin en otras
asignaturas y en el ejercicio de su profesin.
II.2.
Sumilla
La asignatura de lgica, est orientada a lograr competencias bsicas:
resolver situaciones problemticas de la vida real y del ejercicio de la
profesin, donde intervienen razonamientos lgicos, demostrar las
propiedades y leyes de la lgica; y, redactar textos donde el uso de la lgica
es necesario, tanto de manera formal como en el lenguaje natural.
Para lograr estas competencias, se combina la teora y la prctica, el trabajo
individual y colectivo, la asistencia a clases con la tutora individual o de
pequeos grupos, se ha optado por una evaluacin formativa e integrada al
proceso educativo, para mejorar progresivamente los aprendizajes.
Las unidades a desarrollar son: Lgica proposicional y circuitos lgicos,
Lgica inferencial y cuantificacional, lgica de clases. En cada unidad se

enfatiza en el lenguaje natural y su formalizacin lgica, los ejemplos

ilustrativos, el anlisis y formalizacin de los conocimientos esenciales, la
resolucin de problemas, las demostraciones y la redaccin de un cuaderno
de clases con lo desarrollado en la unidad, adems del desarrollo de tareas
asignadas para profundizar los conocimientos en horas extras de estudio.
III. Normas de convivencia
3.1. Practicar el cuidado individual, colectivo y del ambiente de trabajo.
3.2. Puntualidad en asistencia, ejecucin de tareas y responsabilidades
asumidas.
3.3. Libertad de pensamiento, dilogo y escucha.
3.4. Perseverancia, dedicacin al estudio, identidad con la facultad y
especialidad.
IV. Competencias
4.1. Resuelve problemas relacionados con la lgica aplicados a la ciencia y a
situaciones de la vida real, para desarrollar su pensamiento abstracto y
razonamiento lgico, considerando el uso del lenguaje de la lgica,
argumentando procesos, sistematizando las operaciones y enunciando
las soluciones o respuestas.
4.2. Demuestra Propiedades y leyes de la lgica, para comprender su
estructura interna y desarrollar su pensamiento abstracto, considerando
el uso del lenguaje de la lgica, la estructura de una demostracin,
aplicando las reglas de inferencia, argumentando sus procesos.
4.3. Elabora un cuaderno del curso de lgica, para aplicar los contenidos
desarrollados durante las clases, considerando los requisitos bsicos de
redaccin, el lenguaje de la lgica y el razonamiento lgico.
V. Unidades Didcticas
5.1 Unidad No 01. Lgica proposicional y circuitos conmutadores
a. Capacidades de la Unidad
1. Resuelve problemas relacionados con la lgica proposicional y circuitos
conmutadores, utilizando el lenguaje de la lgica, y la argumentacin
pertinente.
2. Demuestra las propiedades y leyes de la lgica proposicional y circuitos
conmutadores, utilizando el lenguaje de la lgica, la argumentacin y la
reglas de inferencia.
3. Elabora un cuaderno de la unidad didctica, detallando las clases
tericas, prcticas y tareas encomendadas.
b. Tiempo estimado: 25 horas, distribuidas en 10 sesiones de 2 de teora y
3 horas de prctica
c. Contenidos de la unidad
Fecha

Contenidos conceptuales

18 abril

Presentacin. Definicin, clases,

enunciados abiertos y cerrados,
2. Resolucin de tareas con
proposiciones lgicas.
orientacin y/o autonoma.
Proposiciones simples y
compuestas, conectivos lgicos.
3. Uso de algoritmos segn
Construccin de esquemas a partir
reglas establecidas en los
del lenguaje usual
Tablas de valores de verdad,
avances tericos.
proposiciones equivalentes,
4. Uso
combinado
del
tautologas, contradicciones,
contingencias.

19 abril
25 abril
26 abril

Contenidos
procedimentales
1. Ejemplos propuestos.

02 mayo

Implicacin y equivalencia lgica,

lenguaje
natural
y
el
proposiciones equivalentes,
lenguaje formal.
aplicaciones
5. Argumentacin de procesos
03 mayo
Leyes del algebra proposicional,
aplicaciones, simplificacin de
de resolucin, problemas y
proposiciones moleculares.
demostraciones.
09 mayo
Circuito conmutador, diseo,
circuitos en serie y paralelo.
6. Elaboracin del cuaderno
10 mayo
Simbolizacin de circuitos,
de clases.
construccin de circuitos.
16 mayo
Simplificacin de circuitos
conmutadores. Aplicaciones.
17 mayo
Prctica calificada de unidad
Contenidos actitudinales (actitudes)
1. Prctica del cuidado individual, colectivo, del ambiente de trabajo en aula, de
las tareas, de la redaccin en el cuaderno de clases.
2. Reflexin en la accin para mejorar el aprendizaje.
3. Perseverancia constante.
4. Estudio permanente antes, durante y despus de las clases.
Actividades fundamentales durante la clase
Revisin de tareas, ejemplos, exposicin terica, tareas individuales y colectivas,
resumen, tareas domiciliarias.

5.2. Unidad No 02. Lgica Inferencial y cuantificacional.

a. Capacidades de la Unidad
1. Resuelve problemas relacionados con la lgica inferencial y
cuantificacional, utilizando el lenguaje de la lgica, y la argumentacin
pertinente.
2. Demuestra las propiedades y leyes de la lgica inferencial y
cuantificacional, utilizando el lenguaje de la lgica, la argumentacin y la
reglas de inferencia.
3. Elabora un cuaderno de la unidad didctica, detallando las clases
tericas, prcticas y tareas encomendadas.
b. Tiempo estimado: 30 horas, distribuidas en 12 sesiones de 2 horas de
teora 3 horas de prctica
c. Contenidos de la unidad
Fecha

Contenidos conceptuales

23 mayo

Inferencias. Validez de una

inferencia. Inferencias notables.
Validez de una inferencia. Mtodos
de demostracin, mtodo
abreviado.
Mtodo derivativo, demostracin
condicional.
Demostracin por el absurdo,
Inferencias desordenadas.
Evaluacin de inferencias
desordenadas.
Funcin proposicional. Valor de una
funcin proposicional.
Cuantificadores: existencial y
universal.
Negacin de cuantificadores.
Negacin de proposiciones que
contienen operadores
cuantificacionales.

24 mayo
30 mayo
31 mayo
06 junio
07 junio
13 junio
14 junio

Contenidos
procedimentales
1. Ejemplos propuestos.
2. Resolucin de tareas con
orientacin

y/o

autonoma.
3. Uso de algoritmos segn
reglas establecidas en los
avances tericos.
4. Uso

combinado

lenguaje

natural

del
y

el

lenguaje formal.
5. Argumentacin
procesos

de

de
resolucin,

20 junio

Valor de verdad de una

problemas
y
cuantificacin.
demostraciones.
21 junio
Cuantificacin de proposiciones
6. Elaboracin del cuaderno
categricas. Aplicaciones.
27 junio
Funciones lgicas que contienen
de clases.
ms de una variable.
28 junio
Prctica calificada de unidad.
Contenidos actitudinales (actitudes)
1. Prctica del cuidado individual, colectivo, del ambiente de trabajo en aula, de
las tareas, de la redaccin en el cuaderno de clases.
2. Reflexin en la accin para mejorar el aprendizaje.
3. Perseverancia constante.
4. Estudio permanente antes, durante y despus de las clases.
Actividades fundamentales durante la clase
Revisin de tareas, ejemplos, exposicin terica, tareas individuales y colectivas,
resumen, tareas domiciliarias.

5.2. Unidad No 03. Lgica de clases y silogismo.

a. Capacidades de la Unidad
1. Resuelve problemas relacionados con la Lgica de clases y silogismo,
utilizando el lenguaje de la lgica, y la argumentacin pertinente.
2. Demuestra las propiedades y leyes de la Lgica de clases y silogismo,
utilizando el lenguaje de la lgica, la argumentacin y la reglas de
inferencia.
3. Elabora un cuaderno de la unidad didctica, detallando las clases
tericas, prcticas y tareas encomendadas.
b. Tiempo estimado: 20 horas, distribuidas en 8 sesiones de 2 horas
de teora y 3 horas de prctica.
c. Contenidos de la unidad
Fecha
04 julio
05
11
12

18
19
25
26
01
1.

Contenidos conceptuales

Contenidos
procedimentales

Nocin de clase. Clases especiales,

operaciones con clases. Relacin
1. Ejemplos propuestos.
entre clases.
2. Resolucin de tareas con
julio
Leyes del clculo de clases.
orientacin y/o autonoma.
julio
Proposiciones categricas.
3. Uso de algoritmos segn
Concepto, caractersticas, formas
reglas establecidas en los
tpicas.
avances tericos.
julio
Clasificacin de las proposiciones
4. Uso
combinado
del
categricas. Las inferencias
inmediatas de la lgica
lenguaje
natural
y
el
proposicional: la conversin.
lenguaje formal.
julio
La obversin y las inferencias por
5. Argumentacin de procesos
oposicin.
de resolucin, problemas y
julio
Cuadro de Boecio. Diagramacin de
demostraciones.
la interseccin de clases.
julio
Diagramacin de las proposiciones 6. Elaboracin del cuaderno
de clases.
categricas.
julio
Pruebas de validez de las
inferencias inmediatas por
diagramas de Venn. Silogismos
agosto
Prctica calificada de unidad.
Contenidos actitudinales (actitudes)
Prctica del cuidado individual, colectivo, del ambiente de trabajo en aula, de

las tareas, de la redaccin en el cuaderno de clases.

2. Reflexin en la accin para mejorar el aprendizaje y Perseverancia constante.
3. Estudio permanente antes, durante y despus de las clases.
Actividades fundamentales durante la clase
Revisin de tareas, ejemplos, exposicin terica, tareas individuales y colectivas,
resumen, tareas domiciliarias.

5.4. Evaluacin de las unidades didcticas

a. Evaluacin de Capacidades
Capacidades No 1 y No 2: Resuelve problemas y realiza demostraciones.
Criterios de desempeo. Evidencias de desempeo.
Peso estimado de la
evidencia.
1. Comprende el
1. Usa el lenguaje
Cada evidencia tiene un
problema/demostracin
matemtico
peso de 10% del puntaje
2. Formaliza el enunciado.
total.
En cada evidencia se
evala los siguientes
2. Analiza estrategias de 3. Describe los pasos a
niveles:
solucin/demostracin
seguir en el proceso de
1. No iniciada: 0%
solucin/demostracin
2. En Inicio: Hasta 2%
3. En proceso : entre
3. Aplica la estrategia
4. Ejecuta los procesos.
3% a 5%
adecuada.
5. Utiliza el lenguaje formal
4. Regular: aprobada
en la ejecucin de los
entre 6% a 8%
proceso.
5.
Excelente: 9% o 10%
6. Argumenta los procesos.
4. Evala proceso y
7. Reflexiona acerca los
resultado.
procesos.
8. Rectifica errores.
9. Revisa resultados.
5. Redacta el problema
10. Presenta
resuelto o la
ordenadamente el proceso
demostracin.
y resultado.

Capacidad No 3: Elabora un cuaderno de la unidad didctica, detallando las clases

tericas, prcticas y tareas encomendadas.
Criterios de
Evidencias de
Peso estimado de la
desempeo.
desempeo.
evidencia.
1. Lenguaje formal.
1. Utiliza el lenguaje de la
Cada evidencia tiene un
1. Contenidos tericos.
lgica.
peso de 20% del puntaje
2. Ejemplos
2. Presenta los contenidos
total.
desarrollados en
tericos desarrollados.
En cada evidencia se
clase.
3. Presenta los ejemplos
evala los siguientes
3. Problemas
desarrollados en clase.
niveles:
asignados.
4. Presenta los problemas
1. No iniciada: 0%
4. Demostraciones
asignados como tareas. 2. En Inicio: Hasta 4%
asignadas.
5. Presenta las
3. En proceso : entre 6%
demostraciones
a 10%
asignadas como tareas. 4. Regular:
aprobada
entre 11% a 15%
5. Excelente: 16% o 20%

b. Decisiones a tomar
1. Apoyo directo del docente a los alumnos cuyas evidencias estn en inicio
o no han iniciado.

2. Orientaciones del docente a los alumnos cuyas evidencias estn en

proceso, o apoyo de sus compaeros que han logrado los resultados
esperados.
3. Calificacin final para los alumnos que han logrado los niveles regular o
excelente.
4. Evaluacin final de unidad. Consiste en la solucin de una prueba escrita
que consta de problemas y demostraciones de los contenidos
desarrollados.
c. Criterios de evaluacin de la prueba de unidad
1. La prueba de unidad tendr dos problemas y dos demostraciones.
2. En los problemas se evalan los siguientes criterios: 1. identifica
variables,2. usa el lenguaje matemtico, 3. realiza operaciones, 4.
argumenta sus procesos, 5. enuncia las respuestas.
3. En las demostraciones se evalan los siguientes criterios: 1. Identifica
Hiptesis y tesis, 2. usa el lenguaje matemtico, 3. realiza operaciones,
4. argumenta procesos, 5. expone el resultado.
4. Cada problema o demostracin tiene puntaje de 05 puntos, cada criterio
tiene puntaje de hasta un punto.
5. En total el puntaje mximo es 20 puntos.
d. Criterios de calificacin de la unidad
1.
2.
3.
4.

Capacidad No 1: 25%
Capacidad de No 02: 25%
Capacidad No 03: 25%
Evaluacin final de unidad: 25%.

VI. Estrategias metodolgicas

Durante el desarrollo de la asignatura se aplicar la siguiente estrategia
metodolgica.
6.1. Estrategias generales de contexto
1. Respetar siempre las reglas de convivencia
2. Mantener el clima de aula que propicie el aprendizaje, la reflexin, la
consulta, el trabajo individual y colectivo.
3. Reiterar el uso de la hora de tutora para los alumnos que lo necesitan.
4. Utilizar la bibliografa y los recursos tecnolgicos.
5. Trabajos individuales, colectivos, tareas adicionales a la medida.
6.2. Estrategias especficas durante la sesin de aprendizaje
1. Tomar asistencia, revisar tareas pendientes, revisar el cuaderno de
clases.
2. Iniciar el desarrollo de contenidos con ejemplos significativos.
3. Derivar ideas de los ejemplos: conceptos, propiedades, definiciones,
teoremas.
4. Trabajar en forma individual y grupal en tareas especficas, resolucin de
problemas y demostraciones.
5. Usar el lenguaje matemtico, argumentar procesos, evaluar proceso y
resultados, ayudar a medida, por el docente y sus compaeros de aula.
6. Hacer el resumen y evaluacin de lo realizado.

7. Asignar tareas de lectura, ejercicios, problemas, demostraciones, a la

medida.
8. Cerrar la sesin de aprendizaje.
VII. Actividades de tutora
En la presente asignatura la tutora se realizar de la siguiente manera:
VII.1.
Hora de tutora: todos los jueves de 3 a 4 de la tarde, con
posibilidad de modificar segn el horario de los alumnos.
VII.2.
Lugar de tutora: Departamento acadmico de matemticas.
Ambiente 1g-105.
VII.3.
Objeto de la tutora:
Apoyar el aprendizaje de los alumnos cuyas capacidades se encuentran en
inicio o proceso.
Apoyar a los alumnos que soliciten alguna orientacin adicional
complementaria.
VII.4.
Modalidad de la tutora: Individual o en pequeos grupos de
hasta 4 alumnos.
VIII. Materiales educativos y otros recursos.
Los materiales educativos a utilizar son los siguientes:
1. Libros de de lgica o de matemtica con los contenidos a desarrollar.
2. El cuaderno de clases
3. La pizarra, y sus tiles complementarios.
4. Lap Top, Proyector y sus componentes.
5. Libros digitales con los contenidos de la asignatura.
6. Videos con los contenidos de la asignatura.
7. Portales educativos en Internet con los contenidos de la asignatura.
8. Materiales impresos o digitales con contenidos de la asignatura.
9. Materiales elaborados por el docente y entregados oportunamente a los
alumnos.
IX. Promocin o aprobacin de la asignatura.
La aprobacin de la asignatura ser segn los siguientes criterios:
1. La calificacin final de la asignatura ser el promedio simple de los
resultados finales de cada unidad didctica.
2. La aprobacin de la asignatura es cuando el alumno obtiene 10.5 como
mnimo en la calificacin final.
3. Por el proceso de evaluacin realizado, no se tomar exmenes de
aplazados.
4. Si en las pruebas de fin de unidad existe ms del 50% de desaprobados,
a stos alumnos se les tomar una prueba adicional, que reemplaza a la
nota anterior, en horario extra.
5. La inasistencia del 30% inhabilita la promocin de la asignatura, aunque
sus evaluaciones de unidad sean satisfactorias.
X. Bibliografa
1.
2.
3.
4.
5.

Copi, I. (2011) Introduccin a la Lgica. Edit. Edema. Buenos Aires.

Dorofeviev, G. Temas Selectos de Matemticas Elementales. Edit. MIR.
Figueroa, R. (2008). Matemtica Bsica I. Editorial Amrica. Lima.
Garca, O. (2003) Introduccin a la lgica. Lima, Fondo Editorial UNMSM.
Espinoza, R. (2002). Matemtica Bsica I. Editorial Servicios Grficos J.J.
Lima.
6. Lzaro, M. (2000). Lgica y Teora de Conjuntos. Editorial Moshera. Lima.

7. Suppes, P y S. Hill. (2006). Introduccin a la lgica matemtica. Edit.

Revert. Espaa.
8. Venero, A. (2006). Matemtica Bsica I. Editorial Gemar.
9. ZEVALLOS, M y Aurelio, D. (2007) Introduccin al diseo lgico, Lima,
Fondo Editorial de la Universidad de Lima.
https://aula.tareasplus.com/Juan-Jose-Ortiz/Logica-y-demostraciones-para-launiversidad/Cuantificadores
Cajamarca, abril del 2016.

_____________________________________
Mg. Maximiliano Cndor Huamn
Docente.