SECRETARA DE EDUCACIN

UNIDAD DE EDUCACION MEDIA

Bachillerato en Ciencias y Humanidades (BCH):

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

UNIDAD I PROPOSICIONES SIMPLES Y COMPUESTAS

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 Clasifican las proposiciones.

9 Utilizan el lenguaje simblico

para expresar enunciados
representados en lenguaje
verbal y viceversa.

9 Redactan
proposiciones
relacionadas
con
su
experiencia diaria segn su
contexto.
9 Utilizan las propiedades del
algebra
en el anlisis
expresiones simblicas.
75

UNIDAD I PROPOSICIONES SIMPLES Y COMPUESTAS

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

UNIDAD II: REGLAS DE INFERENCIAS

COMPETENCIAS DE LA UNIDAD
x
x
x

Conocer y diferenciar las reglas de inferencias segn su forma de aplicacin.

Desarrollar el pensamiento lgico matemtico a travs de uso de reglas y ordenamiento
de ideas.
Determinar la conclusin de un conjunto de premisas aplicando en forma conjunta las
reglas de inferencia.

TIEMPO: 15 Horas

UNIDAD II REGLAS DE INFERENCIA
CONTENIDOS
Conceptuales
Procedimentales
Actitudinales

EXPECTATIVAS DE LOGRO

Modus Ponendo Ponens

Definicin y funcin del
Modus Ponendo Ponens.
Representacin verbal y
2. Deducen la conclusin
simblica de premisas.
de premisas mediante una
Demostracin de
sucesin razonamientos
proposiciones a partir de dos
elementales vlidos.
o ms premisas.
x Muestran inters por la
representacin simblica de
las proposiciones.
x Capacidad de reflexin y
anlisis.
x Valoran la demostracin
como un proceso confiable
en verificacin de premisas.
1. Analizan la aplicabilidad
del Modus Ponendo
Ponens.

3. Describen la
aplicabilidad de la regla de
doble de negacin.

Regla de doble negacin.

Definicin de la regla de
doble negacin.
Aplicacin de regla de doble

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.

9 Describen la regla de doble

negacin.
9 Leen
y
comprenden
razonamiento
78

UNIDAD II REGLAS DE INFERENCIA

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.

Modus Tollendo Tollens

Definicin y funcin del
Modus Tollendo Tollens.
Representacin verbal y
simblica de premisas.
2. Deducen la conclusin
Demostracin de
de premisas mediante una
proposiciones aplicando las
sucesin razonamientos
reglas:
elementales vlidos.
a) Modus Tollendo Tollens.
b) Doble negacin.
x Muestran inters por la
representacin simblica de
las proposiciones.
x Capacidad de reflexin y
anlisis.
x Valoran la demostracin
como un proceso confiable
en verificacin de premisas.

9 Describen el Modus Tollendo

Tollens.
9 Leen razonamientos
representados en forma
simblica.
9 Construyen premisas en
lenguaje verbal y simblico
uitilizando
el
Modus
Tollendo Tollens.
demostraciones
9 Realizan
utilizando
en
forma
conjunta
reglas
de
inferencia.

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

UNIDAD III: TABLAS DE VERDAD

COMPETENCIAS DE LA UNIDAD
x
x
x
x

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

UNIDAD III TABLAS DE VERDAD

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