Documente Academic
Documente Profesional
Documente Cultură
Programas Curriculares
rea de Matemticas
Espacio Curricular
LGICA SIMBLICA
Tegucigalpa M.D.C.,
Honduras, C.A.
2014.
73
DATOS DE IDENTIFICACIN
NOMBRE DEL ESPACIO CURRICULAR:
Lgica Simblica.
GRADO AL QUE PERTENECE:
Undcimo, primer semestre.
HORAS CLASE:
2 semanales
DESCRIPCIN DEL ESPACIO CURRICULAR
Este curso presenta el estudio de la lgica simblica como una herramienta esencial en el
desarrollo del pensamiento matemtico en los estudiantes, lo cual fortalece su
capacidad de anlisis sobre argumentos presentados.
A travs del desarrollo de tres unidades se permite a los estudiantes distinguir dentro
del lenguaje comn las expresiones que sean proposiciones de las que no lo son,
considerando expresiones simples y compuestas con sus respectivas tablas de verdad,
identificando las propiedades de los conectivos y sus implicaciones, dentro de las cuales
estn las diferentes leyes de inferencia para un razonamiento lgico matemtico
plausible.
PROPSITO
Dentro de los mrgenes naturales del pensamiento reflexivo de los estudiantes, este
espacio curricular pretende proporcionarles los medios para que organicen en forma
cientfica su razonamiento, preparndolos para hacer deducciones en situaciones de la
vida diaria dados los argumentos, ya sea en lenguaje comn o simblico. De igual
manera se prepararn para emprender con eficiencia los planteamientos lgicos de la
matemtica en la educacin universitaria.
COMPETENCIAS
Al concluir el desarrollo del espacio curricular este habr contribuido a que las y los
estudiantes hayan adquirido las competencias siguientes:
x Trasladar expresiones del lenguaje comn al lenguaje simblico y viceversa.
x Conocer las propiedades de proposiciones simples y compuestas con diferentes
tipos de conectivos y utilizarlas para simplificar proposiciones compuestas.
x Utilizar las reglas de inferencia para hacer deducciones sencillas en un contexto
problemtico.
x Aprender las reglas de inferencia lgica, para aplicarlas en la solucin de problemas
propuestos.
x Comprender tablas de verdad para expresiones simples y compuestas con
diferentes tipos de conectivos.
UNIDADES
Unidad I Proposiciones simples y compuestas.
Unidad II Reglas de inferencia.
Unidad III Tablas de verdad y propiedades.
74
x
x
x
x
COMPETENCIAS DE LA UNIDAD
Definir las proposiciones simples y compuestas.
Identificar proposiciones simples y compuestas.
Construir proposiciones simples y compuestas reconociendo el valor de verdad.
Entender el verdadero significado de cada caso que se propone.
TIEMPO: 10 Horas
UNIDAD I PROPOSICIONES SIMPLES Y COMPUESTAS
CONTENIDOS
Conceptuales
EXPECTATIVAS DE LOGRO
Procedimentales
Actitudinales
1. Definen proposiciones
Proposiciones simples y
simples y compuestas.
compuestas
Definicin de lgica.
2. Diferencian las
Definicin de lgica
proposiciones simples de
simblica.
las proposiciones
Definen: Variable, expresin,
compuestas.
formula, constante y
proposiciones).
3. Clasifican diferentes
Clasificacin de
tipos de proposiciones.
proposiciones.
Enumeracin de conectivos
lgicos (negacin,
conjuncin, disyuncin
inclusiva y exclusiva,
condicional, bicondicional).
Funcin y uso de los
4. Construyen
conectivos lgicos.
proposiciones simples y
Representacin de
compuestas.
situaciones reales en la
construccin de
proposiciones.
4. Traducen expresiones
Traduccin del lenguaje
verbales al lenguaje
natural al lenguaje simblico.
simblico.
Aplicacin de las propiedades
PROCESOS Y ACTIVIDADES
SUGERIDAS
9 Identifican proposiciones en
una lista de enunciados.
9 Redactan
proposiciones
relacionadas
con
su
experiencia diaria segn su
contexto.
9 Utilizan las propiedades del
algebra
en el anlisis
expresiones simblicas.
75
EXPECTATIVAS DE LOGRO
CONTENIDOS
Conceptuales
Procedimentales
Actitudinales
bsicas del algebra en la
conjuncin y disyuncin de
proposiciones.
a) Conmutativa.
b) Asociativa.
c) Distributiva.
d) Identidad.
x Aplican lo aprendido a
situaciones presentadas en la
vida real.
x Muestran inters por la
representacin simblica de
las proposiciones.
x El valor de la honestidad
personal.
x Capacidad de reflexin y
anlisis.
PROCESOS Y ACTIVIDADES
SUGERIDAS
expresiones
9 Analizan
simblicas
y
realizan
conclusiones.
9 Aplican las propiedades para
la
elaboracin
de
proposiciones.
76
ACTIVIDADES DE EVALUACIN:
x Investigacin relacionada con la temtica desarrollada en clases.
x Desarrollo de guas de trabajo.
x Preguntas y respuestas orales sobre los conceptos, que permitan evaluar el desarrollo
del pensamiento lgico y crtico de los estudiantes.
x Revisin del cuaderno de los estudiantes como un reflejo de lo desarrollado y aprendido
en clase, teniendo en cuenta la presentacin, aseo, orden y recoleccin de datos.
x Observacin del trabajo diario desarrollado en el aula, registrando el alcance gradual y
progresivo de competencias de los estudiantes.
x Elaboracin de un instrumento por parte del profesor o profesora que facilite la
oportunidad a los estudiantes de autoevaluacin y coevaluacin de las actividades en
que participan a fin de conocer sus capacidades y valorar sus esfuerzos.
x Realizacin de pruebas escritas a fin de certificar el logro de competencias y saberes
adquiridos por los estudiantes.
x Evaluacin formativa: Honestidad, liderazgo, compaerismo, trabajo en equipo,
participacin, etc.
BIBLIOGRAFA SUGERIDA
x Stern Nancy B; 1990 Diagrama de flujo: manual de
lgica para computadora.
x Couturat, Louis; 1976. El algebra de la lgica.
x Nidditch, P.H; 1980. El desarrollo de la lgica
matemtica.
x Boole, George; 1984. El anlisis matemtico de la
lgica.
x Crossley, John N; 1983. Qu es la lgica
Matemtica?
x Puyau, Hernces A, Rotti, Jorge A; 1976. Elementos de
logica matematica.
x Burgos, Alfonso; 1975. Iniciacin a la lgica
matemtica.
x Mates, Benson; 1970. Lgica matemtica elemental.
x Moreno Alberto; 1969. Lgica matemtica;
antecedente y fundamentos.
x Zabieta Rossi, Gonzalo; 1977 Manual de lgica para
estudiantes de matemtica
Online
x www.riconmatematico.com
x www.librosgratis.net
RECURSOS DIDCTICOS
SUGERIDOS:
x Material impreso.
x Juego de reglas.
x Guas de Trabajo.
77
TIEMPO: 15 Horas
UNIDAD II REGLAS DE INFERENCIA
CONTENIDOS
Conceptuales
Procedimentales
Actitudinales
EXPECTATIVAS DE LOGRO
3. Describen la
aplicabilidad de la regla de
doble de negacin.
PROCESOS Y ACTIVIDADES
SUGERIDAS
9 Describen la regla del Modus
Ponendo Ponens.
9 Leen razonamientos
representados en forma
simblica.
9 Interpretan en lenguaje
verbal razonamientos
representados en forma
simblica.
9 Construyen premisas en
lenguaje verbal y simblico
9 Realizan
demostraciones
utilizando
el
Modus
Ponendo Ponens.
EXPECTATIVAS DE LOGRO
4. Aplican la regla de la
doble negacin para
deducir la conclusin de
premisas mediante una
sucesin razomientos
elementales validos.
CONTENIDOS
Conceptuales
Procedimentales
Actitudinales
PROCESOS Y ACTIVIDADES
SUGERIDAS
negacin.
Demostracin haciendo uso
de las reglas:
a) Modus Ponendo Ponens.
b) Doble negacin.
representados en forma
simblica.
9 Construyen premisas y las
representan en lenguaje
verbal y simblico.
9 Realizan
demostraciones
utilizando
el
Modus
Ponendo Ponens y la regla
de la doble negacin.
1. Analizan la aplicabilidad
del Modus Tollendo
Tollens.
79
ACTIVIDADES DE EVALUACIN:
x Investigacin relacionada con la temtica desarrollada en clases.
x Desarrollo de guas de trabajo.
x Preguntas y respuestas orales sobre los conceptos, que permitan evaluar el desarrollo
del pensamiento lgico y crtico de los estudiantes.
x Revisin del cuaderno de los estudiantes como un reflejo de lo desarrollado y aprendido
en clase, teniendo en cuenta la presentacin, aseo, orden y recoleccin de datos.
x Observacin del trabajo diario desarrollado en el aula, registrando el alcance gradual y
progresivo de competencias de los estudiantes.
x Elaboracin de un instrumento por parte del profesor o profesora que facilite la
oportunidad a los estudiantes de autoevaluacin y coevaluacin de las actividades en
que participan a fin de conocer sus capacidades y valorar sus esfuerzos.
x Realizacin de pruebas escritas a fin de certificar el logro de competencias y saberes
adquiridos por los estudiantes.
x Evaluacin formativa: Honestidad, liderazgo, compaerismo, trabajo en equipo,
participacin, etc.
BIBLIOGRAFA SUGERIDA
x Stern Nancy B; 1990 Diagrama de flujo: manual de
lgica para computadora.
x Couturat, Louis; 1976. El lgebra de la lgica.
x Nidditch, P.H; 1980. El desarrollo de la lgica
matemtica.
x Boole, George; 1984. El anlisis matemtico de la
lgica.
x Crossley, John N; 1983. Qu es la lgica
Matemtica?
x Puyau, Hernces A, Rotti, Jorge A; 1976. Elementos de
logica matematica.
x Burgos, Alfonso; 1975. Iniciacin a la lgica
matemtica.
x Mates, Benson; 1970. Lgica matemtica elemental.
x Moreno Alberto; 1969. Lgica matemtica;
antecedente y fundamentos.
x Zabieta Rossi, Gonzalo; 1977 Manual de lgica para
estudiantes de matemtica
Online
x www.riconmatematico.com
x www.librosgratis.net
RECURSOS DIDCTICOS
SUGERIDOS:
x Material impreso.
x Juego de reglas.
x Guas de Trabajo.
80
Aplicar las reglas de los conectores lgicos en la construccin de las tablas bsicas de
verdad.
Conocer el valor de verdad de las proposiciones simples que componen una tabla de
verdad.
Comprender el valor de verdad de cualquier inferencia.
Analizar la tautologa en pares de proposiciones a travs de las tablas de verdad.
TIEMPO: 15 Horas
UNIDAD III TABLAS DE VERDAD
CONTENIDOS
Conceptuales
EXPECTATIVAS DE LOGRO
Procedimentales
Actitudinales
1. Construyen las tablas Tablas bsicas de verdad.
bsicas de la verdad.
Construccin de las tablas
bsicas de verdad para los
trminos de enlace:
a) Proposiciones simples:
Tabla de negacin.
b) Proposiciones
compuestas
Conjuncin.
Disyuncin.
Condicional.
Bicondicional.
Formulacin de reglas para
encontrar el valor de verdad
en las tablas bsicas
construidas.
x
x
PROCESOS Y ACTIVIDADES
SUGERIDAS
9 Construyen tablas de
verdad.
9 Encuentran el valor de la
verdad a travs de tablas.
Desarrollan el pensamiento
lgico.
Valor de la honestidad
81
EXPECTATIVAS DE LOGRO
2. Analizan los valores de
verdad de proposiciones
simples que componen
una tabla de verdad.
3. Demuestran la validez
de un razonamiento.
CONTENIDOS
Conceptuales
PROCESOS Y ACTIVIDADES
Procedimentales
SUGERIDAS
Actitudinales
Tablas
de
Verdad
de 9 Probar equivalencia entre
proposiciones siguiendo el
Proposiciones Compuestas.
Descripcin del mtodo para
mtodo de desarrollo de
comprobar la validez de
tablas de verdad.
cualquier inferencia (paso).
Construccin de tablas de
verdad para la validacin de
razonamiento partiendo del
nmero de proposiciones.
x Muestran inters por la
demostracin de argumentos
matemticos.
9
Determinan
la tautologa
Tautologa de las tablas de la
entre proposiciones.
verdad
Definicin de tautologa,
falacia y contradiccin.
Implicacin y equivalencia
tautolgica
Condicin necesaria para el
cumplimiento de la tautologa
en la demostracin de
razonamiento.
Demostracin la validez o no
validez de una inferencia.
9 Demuestran la validez de
una inferencia a travs de la
tautologa en una
implicacin.
82
ACTIVIDADES DE EVALUACIN:
x Investigacin relacionada con la temtica desarrollada en clases.
x Desarrollo de guas de trabajo.
x Preguntas y respuestas orales sobre los conceptos, que permitan evaluar el desarrollo
del pensamiento lgico y crtico de los estudiantes.
x Revisin el cuaderno de los estudiantes como un reflejo de lo desarrollado y aprendido
en clase, teniendo en cuenta la presentacin, aseo, orden y recoleccin de datos.
x Observacin del trabajo diario desarrollado en el aula, registrando el alcance gradual y
progresivo de competencias de los estudiantes.
x Elaboracin de un instrumento por parte del profesor o profesora que facilite la
oportunidad a los estudiantes de autoevaluacin y coevaluacin de las actividades en
que participan a fin de conocer sus capacidades y valorar sus esfuerzos.
x Realizacin de pruebas escritas a fin de certificar el logro de competencias y saberes
adquiridos por los estudiantes.
x Evaluacin formativa: Honestidad, liderazgo, compaerismo, trabajo en equipo,
participacin, etc.
BIBLIOGRAFA SUGERIDA
x Stern Nancy B; 1990 Diagrama de flujo: manual de
lgica para computadora.
x Couturat, Louis; 1976. El lgebra de la lgica.
x Nidditch, P.H; 1980. El desarrollo de la lgica
matemtica.
x Boole, George; 1984. El anlisis matemtico de la
lgica.
x Crossley, John N; 1983. Qu es la lgica
Matemtica?
x Puyau, Hernces A, Rotti, Jorge A; 1976. Elementos de
logica matematica.
x Burgos, Alfonso; 1975. Iniciacin a la lgica
matemtica.
x Mates, Benson; 1970. Lgica matemtica elemental.
x Moreno Alberto; 1969. Lgica matemtica;
antecedente y fundamentos.
x Zabieta Rossi, Gonzalo; 1977 Manual de lgica para
estudiantes de matemtica
Online
x www.riconmatematico.com
x www.librosgratis.net
RECURSOS DIDCTICOS
SUGERIDOS:
x Material impreso.
x Juego de reglas.
x Guas de Trabajo.
83