UNIVERSIDAD NACIONAL PEDRO RUIZ GALLO

FACULTAD CIENCIAS FSICAS Y MATEMTICAS

DEPARTAMENTO ACADMICO DE MATEMTICA

SILABO DE LGICA MATEMTICA

I. INFORMACION GENERAL
CURSO
ESCUELA PROFESIONA L
CICLO
CREDITOS
PRE-REQUISITOS
CODIGO DEL CURSO
HORAS
PROFESOR
CORREO ELECTRNICO

: Lgica Matemtica
: Agronoma
: 2015 - I
: 03
: Ninguno
: MM 119
: 04 hrs. semanales
02 Teora y 02 prcticas
: Lic. Consuelo Silva Rivera
: consuelo_sr86@hotmail.com

II. SUMILLA
El curso de Lgica es de formacin bsica y proporciona al estudiante las
herramientas de la lgica para utilizarlas en las deducciones o generalizaciones
que requiere su formacin profesional. Est dirigido a estudiantes del Primer ciclo
de la Especialidad de Agronoma y, se orienta a dar a conocer los conceptos, las
definiciones, propiedades y caracterizaciones de la lgica que le permitirn
analizar con mayor rigor las conclusiones que puedan formularse en un proyecto
de investigacin.
III. OBJETIVOS
3.1 GENERAL
Orientar al estudiante en la formacin de una disciplina cientfica, con
capacidad de resolver problemas que se presentan en el desempeo de su
formacin o en reas afines.
Estimular y desarrollar la capacidad de anlisis del estudiante.
3.2 ESPECIFICOS
a)
b)
c)
d)
e)
f)

Identificar, determinar formas proposicionales y valor de verdad.

Demostrar por diferentes mtodos la validez de los razonamientos.
Comprender la nocin de concepto, juicio, y razonamiento y los clasifica.
Identificar y formular los razonamientos deductivos, inductivos.
Formaliza proposiciones utilizando las reglas de formalizacin
Determina la forma normal conjuntiva o disyuntiva de una funcin booleana

VI. ESTRUCTURA TEMATICA

La asignatura ha sido divida en 05 unidades didcticas, a fin de realizar un
estudio ordenado, secuencial y comprensible.
PRIMERA UNIDAD: LGICA PROPOSICIONAL
SEMANA1:
SEMANA2:
O
SESIN N 1 :
SESIN NO1 :
Definicin y clases de lgica
Conectivos
lgicos:
negacin,
conjuncin, disyuncin, condicional y
Enunciado, clases
bicondicional.
Proposiciones Simples

Tablas de verdad.
Proposiciones Compuestas
O
Formalizacin de las Proposiciones
SESIN N 2 :
O
Evaluacin de esquemas lgicos: SESIN N 2 :
Trabajo grupal en clase
tautologa,
contradiccin
y
contingencia
Enunciado, clases
Proposiciones Simples
Proposiciones Compuestas
SEMANA3:
SESIN NO1 :
Razonamientos
proposicionales
vlidos
Razonamientos proposicionales no
vlidos
SESIN NO 2 :
Trabajo grupal en clase

SEGUNDA UNIDAD: LGICA CLSICA

SEMANA 5
SESIN NO1 :
Concepto, Juicio y razonamientos.
Propiedades y clasificacin
Inferencias inmediatas
Inferencias mediatas
SESIN NO2 :
Formalizacin mediante un lenguaje
proposicional
Inferencia
Formas conocidas de argumentos
modus ponens, modus tollens,
silogismo
disyuntivo,
silogismo
hipottico
SEMANA 7:
SESIN NO1 :
Deduccin e implicacin
El silogismo clsico, proposiciones
predicativo-categricas clsicas.
Cuadro de Boccio
Tipos de generalidad
SESIN NO 2 :

SEMANA4:
SESIN NO1 :
Principales leyes de lgica
Simplificaciones
SESIN NO 2 :
Primera Prctica Calificada

SEMANA 6:
SESIN NO1 :
Formalizacin mediante un lenguaje
Proposicional: Inferencia disyuntiva,
simplificacin conjuntiva, otras.
SESIN NO 2 :
Trabajo grupal en clase

SEMANA 8:
SESIN NO1 :
El mtodo de los diagramas de
Venn, aplicacin de los diagramas
de Venn a la decisin de la validez
de un silogismo
SESIN NO 2 :
Segunda Prctica Calificada

Trabajo grupal en clase

TERCERA UNIDAD: LGICA CUANTIFICACIONAL

SEMANA 9
SEMANA 10:
O
SESIN N 1 :
SESIN NO1 :
Funcin
proposicional
o
Cuantificadores
enunciado abierto
Frmulas cerradas
SESIN NO2 :
Alcance de un cuantificador
Cuantificadores: universal y existencial
Reglas de equivalencia entre
cuantificadores
Cuantificacin
de
funciones
proposicionales y su negacin.
SESIN NO 2 :
Trabajo grupal en clase
SEMANA 11:
SEMANA 12:
SESIN NO1 :
SESIN NO1 :
Demostracin matemtica
Mtodos
de
demostracin:
demostracin por contraejemplo,
Demostracin de un teorema
demostracin por induccin.
Mtodos
de
demostracin:
O
Demostracin
directa, SESIN N 2 :
Tercera prctica calificada.
demostracin por contraposicin
Mtodos
de
demostracin:
Demostracin
directa,
demostracin negando la tesis,
demostracin por contradiccin
SESIN NO 2 :
Trabajo grupal en clase

CUARTA UNIDAD: LGEBRA DE BOOLE

SEMANA 13
SEMANA 14:
SESIN NO1 :
SESIN NO1 :
Circuitos en serie y en paralelo
Funciones booleanas. Teoremas
SESIN NO2 :
de Boole.
SESIN NO 2 :
Simplificacin de circuitos
Trabajo grupal en clase
SEMANA 15:
SEMANA 16:
SESIN NO1 :
SESIN NO1 :
Descripcin
algebraica
de
Simplificaciones
circuitos lgicos
Mtodo del mapa de Karnaugh
Circuitos lgicos a partir de SESIN NO 2 :
funciones booleanas
Cuarta prctica calificada.
SESIN NO 2 :
Trabajo grupal en clase
SEMANA 17

Examen Sustitutorio

V. METODOLOGIA
El curso se desarrollar mediante clases terico- prctico a travs de la exposicin
del profesor, discusin de los contenidos del curso iniciando y motivando la
participacin activa del alumno en el proceso de enseanza aprendizaje, gua y
orientacin del profesor en prcticas desarrolladas en clase usando el mtodo
cooperativo
Investigacin de temas complementarios por parte del alumno
Se propondrn laboratorios conforme al avance, los que sern debidamente
sustentados.

VI. EVALUACION
evaluaciones son de carcter obligatorio, la no asistencia a estas
origina una nota de
CERO, salvo justificacin debidamente
documentada y oportuna
Se tomarn cuatro exmenes, obtenindose un Promedio de
Exmenes(P.E)
Se tomar en cuenta una nota de tarea acadmica (T.A.) en la que se
tomar en cuenta trabajo grupal, exposiciones, intervenciones orales,
actitud para el trabajo acadmico y cooperacin
La nota mnima aprobatoria ser de 10.50 en la escala vigesimal
El alumno que no alcance la nota mnima aprobatoria tendr derecho a
un examen sustitutorio, si su nota final es mayor o igual a siete. Este
examen sustituye la menor nota obtenida en sus exmenes de unidad,
obtenindose nuevamente la PF segn la formula dada.
La frmula para la obtencin del promedio final de la asignatura es

PF = 2.PE+PT+AP
4
Donde:
PF: Promedio de Exmenes
PT: Promedio de trabajos
AP: Asistencia a clase y presentacin de trabajos.
VII. BIBLIOGRAFIA
-Digenes, Rosales. Introduccin a la lgica. Lima-Per
-Suppes, Patrick. Introduccin a la Lgica Simblica. Ed. CECSA

-Suppes, Patrick. Introduccin a la Lgica Matemtica. Ed REVERTE S.A.

-Smith, Introduccin a la Lgica Simblica
-Whitesitt, J.Eldon.Algebra Booleana y sus aplicaciones
Lambayeque, Junio de 20015

Lic. Mat. Silva Rivera Consuelo