UNIVERSIDAD NACIONAL DE CAJAMARCA

ESCUELA ACADEMICO PROFESIONAL DE MEDICINA VETERINARIA

DEPARTAMENTO ACADEMICO DE MATEMATICA

Carrera Profesional de Medicina Veterinaria

SYLLABUS DE LA SIGNATURA DE LÓGICA FORMAL

I. DATOS INFORMATIVOS

1.1 Departamento Académico: Matemática.

1.2 Asignatura: Lógica Formal.
1.3 Carrera Profesional: Medicina Veterinaria
1.4 Régimen: Semestral/semestral II
1.6 Valor Académico: 03 créditos.
1.7 Año de estudios: Primero.
1.8 Semestre Académico: 2022– II
1.9 Horas Lectivas: 02 Teoría/03 práctica
1.10 Duración: 15 semanas.
1.11 Inicio: 21 de noviembre del 2,022.
1.12 Termino: 28 de febrero del 2,023
1.13 Sección: “A” .
1.14 Docente: Ingeniero Rafael Reyna Goicochea.
wreyna@unc.edu.pe

II. DESCRIPCION DE LA ASIGNATURA

La asignatura de Lógica, está orientada a la formación del estudiante universitario de la carrera

profesional de Medicina Veterinaria, para el ejercicio del razonamiento lógico matemático,
revisando aspectos básicos de la Lógica matemática que son importantes para la investigación
científica en el Campo de las ciencias de la ingeniería; asícomo la aplicación de esta a la solución
de problemas en ingeniería referentes al mundo real buscando un desempeño eficiente
desarrollandosus capacidades de razonamiento lógico, analítico, de abstracción y uso de la
tecnología.
Los contenidos de esta asignatura se centran en una matemática superior de base sólida y
rigurosa para facilitar la comprensión y el desarrollo propias de la carrera profesional de
Medicina Veterinaria y que en conjunto contribuyen a la formación del futuro Medico
Veterinario, en su estructura el curso está conformado por contenidos de la Lógica
Formal, utilizando de esta manera la lógica como herramienta básica y esencial para
la formulación de seudo códigos y el uso de algoritmos y lenguajes de programación
para poder utilizar los modelos matemáticos en la formulación y solución de problemas
de que se´ presentan en el mundo real.
III. COMPETENCIAS

3.1. GENERAL:

Muestra autonomía, pensamiento crítico y creativo en su aprendizaje, considera

prioridades en la toma de decisiones y contribuye al desarrollo de la sociedad.

3.2. ESPECÍFICA:

Aplica definiciones y propiedades de la Lógica, desarrollando un pensamiento lógico

matemático, mediante el aprendizaje continuo, usando la tecnología para investigar,
resolver e interpretar situaciones o fenómenos de su entorno.

3.3. RESULTADO DE LA ASIGNATURA EN RELACIÓN A LAS COMPETENCIAS

Resuelve problemas con razonamiento lógico matemático de situaciones o fenómenos

de su entorno. Hace uso de una metodología adecuada que contiene secuencia lógica
del desarrollo de los problemas mostrando conocer el tema y su procedimiento de
solución.

IV. PROGRAMACIÓN DE UNIDADES:

4.1 PROGRAMACION DE CONTENIDOS

UNIDAD TITULOS GENERALES TIEMPO % DEL

PROBABLE CONTENIDO
EN
SEMANAS
I Lógica Proposicional. 10 66.67
II Lógica Cuantificacional 2 13.33
III Lógica Conmutacional 2 13.33
IV Lógica de Clases 1 6.67

V. ORGANIZACIÓN DE LAS UNIDADES Y RESULTADOS DE APRENDIZAJE

Resultados de aprendizaje 1 (RA-1):

Unidad Didáctica I: Lógica Proposicional
Conoce las proposiciones, tablas de valores de verdad
leyes lógicas, Inferencias, métodos de demostración
que le servirá para formular y demostrar la validez y
verdad del conocimiento proposiciones aplicando
lógica.

Semana Saberes esenciales - contenidos Actividades formativas – Indicadores de

Estrategias Pedagógicas desempeño
01 -Introducción a la Lógica.
- Concepción Global de la Lógica.
- Clases de Lógica: Lógica
Espontánea o connatural y
Científica.
- Validez y Verdad del
conocimiento.
Construcción sistemática de Participación activa de
conceptos modelos lógicos. los estudiantes.
Aprende a distinguir la
Cultivo del pensamiento lógica de las demás
sistémico en la resolución y ciencias. Y conocer
análisis de los resultados de sobre la validez y verdad
problemas reales de del conocimiento.
medicina veterinaria.
Ejercicios y problemas
resueltos.
Trabajo en equipo e
individualmente.

02 -La Lógica General: Concepto y Construcción sistemática de Participación activa de

Esquema. conceptos modelos lógicos. los estudiantes.
- Lógica Dialéctica o de Contenido. Distingue la Lógica
-Lógica Formal: Casos y división. Cultivo del pensamiento Formal de la Dialéctica.
-El lenguaje y sus funciones básicas sistémico en la resolución y y aprende
-Tipos y clases de Lenguaje. análisis de los resultados de conocimientos sobre el
Enunciados: Abiertos y Cerrados o problemas reales de lenguaje.
medicina veterinaria.
proposiciones. Conoce enunciados y
-Propiedad de las proposiciones proposiciones
Trabajo en equipo e
diferenciándolos.
individualmente.
Ejercicios y problemas
resueltos.
03 -Clases de Proposiciones: Simples y Construcción sistemática de Participación activa de
Compuestas o moleculares. conceptos modelos lógicos. los estudiantes.
-Propiedad Fundamental de las Identifica tipos de
proposiciones compuestas. Cultivo del pensamiento proposiciones.
-Calculo Proposicional. sistémico en la resolución y Conoce el cálculo
-Operadores Monádicos y Diádicos análisis de los resultados de proposicional.
problemas reales de Ejercicios y problemas
medicina veterinaria.
resueltos.
Trabajo en equipo e
individualmente.

04 -Operaciones proposicionales: Construcción sistemática de Participación activa de

Conjunción o producto lógico. conceptos modelos lógicos. los estudiantes.
Disyunción Inclusiva o suma lógica. Conoce las
Disyunción Exclusiva. Cultivo del pensamiento proposiciones de
sistémico en la resolución y Conjunción y
análisis de los resultados de disyunción.
problemas reales de Ejercicios y problemas
medicina veterinaria.
resueltos.
Trabajo en equipo e
individualmente.
05 -La condicional o implicación. Construcción sistemática de Participación activa de
Formas de la Primera
Condicional.
evaluación conceptos modelos
Cuestionario online lógicos.
Resolución
los estudiantes.
de
-Condición necesaria
(EV1) y suficiente. mediante Formulario ejercicios Conoce la operación de
-Condicionales asociadas. Cultivo del pensamiento condicional
Google. y sus
sistémico en la resolución y formas.
análisis de los resultados de

Primera evaluación (EV1)
06 -Doble implicación o bicondicional.
-Negación.
-Negación Alterna.
-Negación Conjunta.
O7 -Simbolización de proposiciones.
-Uso de los signos de agrupación.
-Esquema molecular.
Evaluación de Esquemas
Moleculares y proposiciones:
Tablas de Valores de Verdad.
-Valor de verdad de proposiciones
moleculares: Método de tablas de
valores de verdad abreviada.
Método de Niveles.
08 -Relaciones Lógicas: Implicación,
Equivalencia, Esquemas
moleculares lógicamente
equivalentes.
-Leyes lógicas.
-Demostraciones y simplificación
de esquemas y proposiciones
moleculares.
09 -Inferencias
Validez de una Inferencia: Método
de Tablas de Valores de Verdad.
Método abreviado. Método de
derivaciones.
problemas reales de Identifica las
medicina veterinaria. condicionales asociadas.
Ejercicios y problemas
Trabajo en equipo e resueltos.
individualmente.
Cuestionario Resolución de ejercicios
y problemas.
Construcción sistemática de Participación activa de
conceptos modelos lógicos. los estudiantes.
Conoce la operación
Cultivo del pensamiento bicondicional. Negación
sistémico en la resolución y alterna y Negación
análisis de los resultados de conjunta.
problemas reales de Ejercicios y problemas
medicina veterinaria.
resueltos.
Trabajo en equipo e
individualmente.
Construcción sistemática de Participación activa de
conceptos modelos lógicos. los estudiantes.
Simboliza proposiciones
Cultivo del pensamiento simples y compuestas.
sistémico en la resolución y Hace uso de los signos
análisis de los resultados de de agrupación.
problemas reales de Ejercicios y problemas
medicina veterinaria.
resueltos.
Trabajo en equipo e
individualmente.
Construcción sistemática de Participación activa de
conceptos modelos lógicos. los estudiantes.
Conoce de Relaciones
Cultivo del pensamiento Lógicas y las aplica para
sistémico en la resolución y validar.
análisis de los resultados de Ejercicios y problemas
problemas reales de resueltos.
medicina veterinaria.
Trabajo en equipo e
individualmente.
Construcción sistemática de Participación activa de
conceptos modelos lógicos. los estudiantes. Conoce
de Inferencias. La valida
Cultivo del pensamiento aplicando lógica.
sistémico en la resolución y Ejercicios y problemas
análisis de los resultados de resueltos.
problemas reales de
medicina veterinaria.
Trabajo en equipo e
individualmente.
10 - La Demostración Matemática:
Demostración Directa: Tablas de
Valores de Verdad. Leyes lógicas.
Derivaciones. La demostración
condicional.
Demostración Indirecta: Método
de demostración por reducción al
absurdo.
Segunda evaluación (EV1)
Unidad Didáctica II: Lógica Cuantificacional
Semana Saberes esenciales - contenidos
11 Lógica Cuantificacional.
-Funciones proposicionales.
-Cuantificaciones: Universal e
existencial.
-Negación de una Cuantificación.
12 -Simbolización de cuantificaciones
-Valor de Verdad de una
Cuantificación
-Demostración por contraejemplo.
. sistémico en la resolución y cuantificación y válida
Construcción sistemática de Participación activa de
conceptos modelos lógicos. los estudiantes.
Conoce de los métodos
Cultivo del pensamiento de demostración
sistémico en la resolución y matemática y valida el
análisis de los resultados de conocimiento utilizando
problemas reales de lógica.
medicina veterinaria.
Ejercicios y problemas
resueltos.
Trabajo en equipo e
individualmente.
Cuestionario Resolución de ejercicios
y problemas.
Resultados de aprendizaje 2 (RA-2):
Conoce la lógica cuantificacional, Funciones
proposicionales, Tipos de cuantificadores su valor de
verdad y su negación, Simboliza niega y retraduce al
lenguaje verbal proposiciones cuantificadas, aplicando
conocimientos de la lógica para el mejor
entendimiento de la matemática.
proposiciones,
formula y demuestra proposiciones aplicando las leyes
lógicas.
Actividades formativas – Indicadores de
Estrategias Pedagógicas desempeño
Construcción sistemática de Participación activa de
conceptos modelos lógicos. los estudiantes.
Conoce de
Cultivo del pensamiento Cuantificadores y sus
sistémico en la resolución y aplicaciones en la
análisis de los resultados de matemática.
problemas reales de Ejercicios y problemas
medicina veterinaria.
resueltos.
Trabajo en equipo e
individualmente.
Construcción sistemática de Participación activa de
conceptos modelos lógicos. los estudiantes.
Conoce el valor de
Cultivo del pensamiento verdad de una
análisis de los resultados de proposiciones.
problemas reales de Ejercicios y problemas
medicina veterinaria.
resueltos.

Unidad Didáctica III: Lógica Conmutacional
Semana Saberes esenciales - contenidos
13 Circuitos Lógicos.
-Clases de Circuitos lógicos: En
serie y en Paralelo.
-Funcionamiento de circuitos
lógicos.
14 - Simbolización de Circuitos lógicos.
-Construcción de circuitos lógicos.
-Simplificación de circuitos lógicos.
Unidad Didáctica IV: Lógica de Clases
Semana Saberes esenciales - contenidos
Trabajo en equipo e
individualmente.
Resultados de aprendizaje 3 (RA-3):
Conoce los circuitos lógicos y conmutacionbales, los
simboliza y construye averiguando su funcionamiento,
aplicando conocimientos de la lógica.
Actividades formativas – Indicadores de
Estrategias Pedagógicas desempeño
Construcción sistemática de Participación activa de
conceptos modelos lógicos. los estudiantes.
Conoce de circuitos
Cultivo del pensamiento lógicos y
sistémico en la resolución y conmutacionales. Tipos.
análisis de los resultados de Ejercicios y problemas
problemas reales de resueltos. Ejercicios y
medicina veterinaria.
problemas resueltos.
Trabajo en equipo e
individualmente.
Construcción sistemática de Participación activa de
conceptos modelos los estudiantes.
Conoce la simbolización
Cultivo del pensamiento y construcción de
sistémico en la resolución y circuitos
análisis de los resultados de conmutacionales y su
problemas reales de funcionamiento.
medicina veterinaria.
Ejercicios y problemas
resueltos.
Trabajo en equipo e
individualmente.
Resultados de aprendizaje 4 (RA-4):
Conoce la noción de clase, tipos, operaciones y
relaciones y los aplica utilizando conocimientos
lógicos.,
formula y demuestra proposiciones aplicando las leyes
lógicas.
Actividades formativas – Indicadores de
Estrategias Pedagógicas desempeño
 15 -Noción de Clases. Construcción sistemática de Participación activa de
-Tipos de clases. conceptos modelos los estudiantes.
-Operaciones con clases. Conoce de tipos de clase
-Relación entre clases. Cultivo del pensamiento operaciones y
sistémico en la resolución y relaciones.
análisis de los resultados de Ejercicios y problemas
problemas reales de resueltos.
ingeniería.

Trabajo en equipo e
individualmente.

Tercera evaluación (EV1). Cuestionario Resolución de ejercicios

y problemas.
Recuperación y/o examen de
aplazados.

VI. ESTRATEGIAS METODOLOGICAS.

Video conferencias, participación en foros, y trabajos de investigación individuales y en equipos,

construcción de modelos matemáticos, cultivo del pensamiento sistémico y el pensamiento crítico
en la resolución de problemas

VII. EVALUACION DEL APRENDIZAJE

Evaluación Resultados de Indicador de Instrumento Semana

aprendizaje desempeño

Aplica el Dominio de la teoría de

pensamiento lógica proposicional.
lógico crítico y Examen
usa escrito
eficientemente Crea problemas
el conocimiento relacionados a la lógica
EV-01 05
de la teoría de la proposicional.
Trabajo de
lógica
proposicional. Analiza e interpreta la investigación
solución de los problemas
con proposiciones.

Resuelve ejercicios

Aplica la lógica Dominio de los modelos Examen

EV-02 10
inferencial y la de los modelos de escrito
 demostración simbolización, evaluación
matemática a de proposiciones,
la resolución de esquemas moleculares, Trabajo de
problemas inferencias y investigación
relacionados a demostraciones
la Matemática y matemáticas, con lógica.
aplicaciones en
la Medicina
Crea problemas
Veterinaria..
relacionados a las
aplicaciones de las
demostraciones
matemáticas con lógica.

Analiza e interpreta la
solución de los problemas.

Resuelve ejercicios

Aplica la lógica Dominio de la teoría sobre

cuantificacional, la lógica cuantificacional,
conmutaciones conmutacional y teoría de
y la teoría de clases.
clases, y a la Examen
resolución de escrito
Crea y resuelve problemas
problemas relacionados a la lógica
EV-03 15
relacionados a cuantificacinal,
la Matemática y conmutacional y teoría de Trabajo de
aplicaciones en clases. investigación
la Medicina Analiza e interpreta la
Veterinaria.. solución de los problemas.

Resuelve ejercicios

VIII. Forma de evaluación

La evaluación del aprendizaje es de carácter continuo. Son rubros de evaluación:

a. Prácticas calificadas de la unidad (PC): 60%

b. Promedio de las tareas encargadas (PTE): 40%
c. El promedio de la evaluación por unidad (𝐸𝑉𝑖 )se obtiene de la siguiente manera:

𝐸𝑉𝑖 = 60% 𝑃𝐶𝑖 + 40% 𝑃𝑇𝐸𝑖 , 𝑖 = 1,2,3,

d. El promedio promocional (PP) se obtiene de la siguiente manera:

 𝐸𝑉1 +𝐸𝑉2 +𝐸𝑉3
𝑃𝑃 = 3

IX. Condiciones de aprobación

Se considera promovido en la asignatura, al estudiante, si:

a) La asistencia es superior al 70%.

b) Alcanza un mínimo de once (11) en el promedio promocional. En la obtención de este
promedio, la fracción mayor o igual a 0.5 se considera como unidad a favor del
estudiante. La escala de calificación es vigesimal (0 – 20).
Al estudiante que no rindió una PC se le califica con NP, siendo su equivalente cero.
c) Obtiene la calificación de once (11) en el examen de aplazado. Los estudiantes con
derecho al examen de aplazado son los que hayan alcanzado una calificación en el
PP como mínimo de cinco (05).

X. Mecanismo de recuperación

Se considera como mecanismo de recuperación una práctica calificada extraordinaria escrita,

la misma que es opcional. El calificativo obtenido en la práctica de recuperación reemplaza
al calificativo más bajo de las 2 anteriores; siempre que sea de mayor valor.
Las tareas y trabajos domiciliarios, así como las participaciones en clase, no están sujetos a
ningún mecanismo de recuperación.

XI. BIBLIOGRAFIA

1. Básica.

.COPI.I.IRVING……………………………………….…INTRODUCCION A LA LÓGICA, Eudeba.

Bs. Aires.

-Ferrater Mora. F. ……………………LÓGICA MATEMÁTICA. Fondo de Cultura

Económica México.

- Miro Quesada. F. ………………………………..…..LÓGICA. Ministerio de Educación

Pública. Lima.

- Miro Quesada. F. …………………………………………...INICIACIÓN A LA LÓGICA.

U.N.M.SM. Lima.

- Whitesitt. J. ………………………..… ALGEBRA BOOLEANA Y SUS APLICACIONES.

CECCSA. México.

- Suppes. P. Hill. S. ……………….…INTRODUCCION A LA LÓGICA MATEMATICA. Ed.

REVERTE S.A. Barcelona.

- Suppes. P. Hill. S. …………………INTRODUCCION A LA LÓGICA SIMBOLICA. CECCSA.

México.
2. De profundización

- Quine. W. ………………………………………........... RAZÓN MATEMÁTICA. Ed. Revista de

Occidente. Madrid.

- Arnold. B.H………………………….. LÓGICA AND BOOLEAN ALGEBRA.Prentice-Hall.INC,

Englewood Cliffs. N.Y.

- Rosser. J. Brakley. ………………..LOGIC FOR MATHEMATIC. …………..Mc. Graw-Hill Book

Company.New York.

Todo lo no previsto en el presente syllabus será resuelto por el Departamento de

Matemática.

Cajamarca, 21 de noviembre del 2022.

Ingeniero Rafael Reyna Goicochea

PROFESOR DEL CURSO