SLABO DE LGICA

I. DATOS GENERALES
1. CDIGO

A0283

2. CARCTER

Obligatorio

3. CRDITOS

4. PERIODO ACADMICO

2016 - II

5. PRERREQUISITO

Ninguno

6. HORAS

Tericas:

Prcticas:

II. SUMILLA DE LA ASIGNATURA

La asignatura contiene: Nociones bsicas de la lgica clsica: conceptos bsicos, argumentos y falacias. La lgica proposicional: el estudio de la proposicin y su formulacin, tablas de verdad, inferencias, clculo deductivo,
leyes lgicas y diagramas semnticos; la lgica cuantificacional: la prctica
del clculo deductivo y aplicaciones

III. COMPETENCIA
1

Aplica los fundamentos y procedimientos lgicos; en la formalizacin de

proposiciones e inferencias tanto en la Lgica Proposicional como en la Lgica Cuantificacional; empleando adecuadamente los conectores lgicos y
variables del lenguaje simblico, valorando con actitud crtica y reflexiva la
importancia en el anlisis y sntesis como parte del correcto razonar.

IV. ORGANIZACIN DE LOS APRENDIZAJES

3
II

Video de presentacin de la asignatura

Unidad I: LA LGICA Y EL RAZONAMIENTO
1 Clase Presencial/ Virtual (Video conferencia)
Tema N1: Introduccin e importancia de la lgica
1.1. Evolucin del pensamiento humano.
1.2. La Lgica.
Tema N2 La Lgica y El Lenguaje
2.1. El Lenguaje y sus funciones.
2.2. Niveles del Lenguaje.
2.3. Lenguaje Natural y Artificial.
Tema N 3: Argumentos
3.1. Qu es un argumento?
3.2. Identificacin de argumentos y sus partes.
3.3. Estructura de los argumentos.
Tema N4. Las Falacias
4.1. Definicin y clasificacin.
Autoevaluacin N 1
Unidad II: LOGICA PROPOSICIONAL
Tema N 1: La Proposicin
1.1. Clasificacin de proposiciones.
Tema 2: El lenguaje de la lgica proposicional
2.1. Smbolos primitivos:
2.2. Smbolos usuales
2. 2.3. Sinnimos de lectura de los conectores
2.4. Clases y uso de los conectores
2.5. Metavariables
2.6. Signos de agrupacin
2.7. Frmulas bien y mal formadas
Tema 3: Formalizacin de inferencias
3.1. Qu es formalizar?
3.2. Formalizacin de proposiciones atmicas
3.3. Formalizacin de proposiciones moleculares
TEMA 4: Mtodos Decisorios Semnticos
4.1. Mtodo de Tabla de valores
4.2. Mtodo de Diagramas semnticos

PROCEDIMIENTOS
Diferencia el concepto y la importancia de la Lgica con
respecto a otras ciencias.
2 Diferencia las funciones y los niveles del lenguaje
usando oraciones y ejemplos planteados.
Actividad N 1
Resuelve las actividades practicas

ACTITUDES

3. Clasifica argumentos y seala su estructura utilizando

los indicadores de premisa y de conclusin.
4. Analiza y diferencia los tipos de Falacias en argumentos
y situaciones.
Control de Lectura N 1
Prcticas sobre: niveles de lenguaje, estructura de los argumentos y tipos de falacias.
1. Identifica e interpreta proposiciones, y clases de proposiciones.
2. Caracteriza las proposiciones moleculares en base al
conector dominante.
3. Formaliza proposiciones e inferencias de un lenguaje
natural al lenguaje lgico
Actividad N 1
Resuelve las actividades practicas

5. Utiliza los mtodos semnticos para demostrar los valores de verdad y falsedad de esquemas moleculares lgicos y validez de argumentos.

Pg. 2

3.

CONOCIMIENTOS

2.

SEMANA

1. Valora la importancia del correcto razonar mediante la aplicacin del lenguaje formalizado
para la demostracin de conclusiones, determinando la validez o la invalidez de un argumento o esquema lgico

UNIDAD

Autoevaluacin N 2
Unidad III: LOGICA PROPOSICIONAL: MTODOS SIN-

III

Tarea Acadmica N 1
Formula proposiciones y argumentos, para determinar los
valores veritativos de los esquemas y su validez.
1 Emplea las leyes lgicas y equivalencias notables para

TACTICOS

simplificar, establecer la equivalencia entre dos propo-

2 Clase Presencial/ Virtual (Video conferencia)

siciones moleculares y validar argumentos

TEMA 1: Las leyes lgicas y equivalencias

Actividad N 1

1.1. Las equivalencias tautolgicas o equivalencias lgicas

Resuelve las actividades practicas

TEMA 2: Deduccin natural

2. Utiliza las reglas de inferencia para demostrar si la

2.1. Reglas de inferencia

conclusin de un argumento se sigue lgicamente de las

2.2. Mtodos de Deduccin Natural

premisas.

Autoevaluacin N 3

Control de Lectura N 2
Prctica de aplicacin de mtodos sintcticos, para demostrar la validez de los argumentos.

Unidad IV: LGICA CUANTIFICACIONAL

1. Formaliza proposiciones usando las variables y smbo-

Tema N 1: Lgica Cuantificacional

los del lenguaje de la Lgica Cuantificacional.

1.1. Formalizacin en LC

2. Utiliza el cuadro de oposicin categrico tpico para

1.2 Los cuatro esquemas proposicionales bsicos

construir formas equivalentes de las proposiciones categ-

Tema N 2: Proposiciones categricas tpicas

ricas tpicas.
Actividad N 1
Resuelve las actividades prcticas.

IV

Tema 3: Propiedades lgicas de los cuantificadores

3.1. Reglas de Intercambio de cuantificadores
Tema 4: Mtodos Decisorios
4.1. Reglas lgicas de introduccin y eliminacin de cuantificadores
4.2. Mtodo Decisorios: Derivaciones
4.2.1. Prueba Directa.
4.2.2. Prueba Condicional.
4.2.3. Prueba por Reduccin al absurdo
Autoevaluacin N 4
EVALUACIN
F

3. Utiliza las reglas de intercambio de cuantificadores en la

aplicacin de mtodos decisorios
4. Aplica los mtodos decisorios para demostrar si la conclusin de un argumento se sigue lgicamente de las premisas.
Tarea Acadmica N 2
Formaliza proposiciones al lenguaje de la lgica cuantificacional, para validarlos mediante los mtodos sintcticos

INAL

PRESENCIAL

Pg. 3

V. METODOLOGA
La asignatura se desarrolla en la modalidad virtual con evaluacin final presencial.
La asignatura presenta esta secuencia didctica:
Video de introduccin a la asignatura, presentado en el aula virtual.
Sesin presencial/virtual, por video conferencia (en la Unidad I y en la Unidad IV).
Estudio del manual autoformativo.
Actividades que permiten aplicar conocimientos, y son programadas en el aula virtual: estudios de casos, solucin de incidentes crticos o problemas, elaboracin de
organizadores visuales, redaccin de ensayos o informes, ejercicios, etc. (Son seleccionados por el docente en base a los procedimientos establecidos de acuerdo a
la naturaleza de la asignatura).
Interactividad de los estudiantes con el tutor virtual, mediante los recursos tecnolgicos programados del aula virtual: foro de discusin, foro de consulta, diario,
wiki, chat, e mail, (Estos recursos son elegidos por el docente en base a la naturaleza de la asignatura).
Desarrollo de las autoevaluaciones

VI. EVALUACIN
RUBROS
Consolidado 1

Evaluacin Parcial
Consolidado 2
Evaluacin Final

INSTRUMENTOS

PESO

Practicas domiciliaria.
Evaluacin final

20%

Prueba Escrita

20%

Practicas domiciliaria.
Evaluacin final

20%

Prueba Escrita

40%

FRMULA PARA OBTENER EL PROMEDIO:

PF = C1 (20%) + EP (20%) + C2 (20%) + EF (40%)

VII.

BIBLIOGRAFA

7.1 BSICA
KATAYAMA OMURA, Roberto Introduccin a la Lgica , Editorial Universitaria URP, Lima, 2003

7.2 COMPLEMENTARIA

IRVING M. COPI Y CARL COHEN. Introduccin a la Lgica. Editorial Limusa - Grupo Noriega Editores. 2009. Cdigo en Biblioteca: 160C77-2009.
TRELLES MONTERO OSCAR; ROSALES PAPA DIGENES. Introduccin a
la Lgica. Fondo Editorial. 2000. Pontificia Universidad Catlica Del Per.
Cdigo enBiblioteca: 160-T79
ROSALES PAPA, Digenes. Introduccin a la Lgica. Editorial AMARU.
PERU.1994 Cdigo en biblioteca UCCI 160 R84
LUIS PISCOYA HERMOZA. Lgica General. Cdigo enBiblioteca: 160P62-2007
REA RAVELLO, Bernardo. Introduccin a la Lgica. Editorial MANTARO.
Lima Per, 2003
Huancayo, octubre de 2016.