SECRETARÍA DE EDUCACIÓN

UNIDAD DE EDUCACION MEDIA

Bachillerato en Ciencias y Humanidades (BCH):

Programas Curriculares
Área de Matemáticas

Espacio Curricular

LÓGICA SIMBÓLICA

Tegucigalpa M.D.C., Honduras, C.A.

Septiembre de 2014.

63
 DATOS DE IDENTIFICACIÓN
NOMBRE DEL ESPACIO CURRICULAR: Lógica Simbólica.
GRADO AL QUE PERTENECE: Undécimo, primer semestre.
TIEMPO EN HORAS CLASE: 2 semanales 40 semestrales
DESCRIPCIÓN DEL ESPACIO CURRICULAR

Este curso presenta el estudio de la lógica simbólica como una herramienta esencial en el
desarrollo del pensamiento matemático en los estudiantes, lo cual fortalece su
capacidad de análisis sobre argumentos presentados.

A través del desarrollo de tres unidades se permite a los estudiantes distinguir dentro
del lenguaje común 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
están las diferentes leyes de inferencia para un razonamiento lógico matemático
plausible.
PROPÓSITO

Dentro de los márgenes naturales del pensamiento reflexivo de los estudiantes, este
espacio curricular pretende proporcionarles los medios para que organicen en forma
científica su razonamiento, preparándolos para hacer deducciones en situaciones de la
vida diaria dados los argumentos, ya sea en lenguaje común o simbólico. De igual
manera se prepararán para emprender con eficiencia los planteamientos lógicos de la
matemática en la educación universitaria.
COMPETENCIAS

Al concluir el desarrollo del espacio curricular este habrá contribuido a que las y los
estudiantes hayan adquirido las competencias siguientes:
 Trasladar expresiones del lenguaje común al lenguaje simbólico y viceversa.
 Conocer las propiedades de proposiciones simples y compuestas con diferentes
tipos de conectivos y utilizarlas para simplificar proposiciones compuestas.
 Utilizar las reglas de inferencia para hacer deducciones sencillas en un contexto
problemático.
 Aprender las reglas de inferencia lógica, para aplicarlas en la solución de problemas
propuestos.
 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.
64
 UNIDAD I PROPOSICIONES SIMPLES Y COMPUESTAS

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

CONTENIDOS
■ Conceptuales PROCESOS Y ACTIVIDADES
EXPECTATIVAS DE LOGRO
▲ Procedimentales SUGERIDAS
● Actitudinales
1. Definen proposiciones  Proposiciones simples y  Identifican proposiciones en
simples y compuestas. compuestas una lista de enunciados.
▲ Definición de lógica.
2. Diferencian las
▲ Definición de lógica
proposiciones simples de
las proposiciones simbólica.  Clasifican las proposiciones.
compuestas. ▲ Definen: Variable, expresión,

formula, constante y
proposiciones).
3. Clasifican diferentes ▲ Clasificación de  Utilizan el lenguaje simbólico
tipos de proposiciones. proposiciones. para expresar enunciados
▲ Enumeración de conectivos representados en lenguaje
lógicos (negación, verbal y viceversa.
conjunción, disyunción
inclusiva y exclusiva,
condicional, bicondicional).
▲ Función y uso de los
conectivos lógicos.
4. Construyen
▲ Representación de  Redactan proposiciones
proposiciones simples y
compuestas. situaciones reales en la relacionadas con su
construcción de experiencia diaria según su
proposiciones. contexto.
5. Traducen expresiones ▲ Traducción del lenguaje
verbales al lenguaje natural al lenguaje simbólico.
simbólico.
▲ Aplicación de las propiedades  Utilizan las propiedades del
básicas del algebra en la algebra en el análisis
conjunción y disyunción de expresiones simbólicas.
proposiciones.

65
 CONTENIDOS
■ Conceptuales PROCESOS Y ACTIVIDADES
EXPECTATIVAS DE LOGRO
▲ Procedimentales SUGERIDAS
● Actitudinales
a) Conmutativa.  Analizan expresiones
b) Asociativa. simbólicas y realizan
c) Distributiva. conclusiones.
d) Identidad.

 Aplican lo aprendido a  Aplican las propiedades para

situaciones presentadas en la la elaboración de
vida real. proposiciones.
 Muestran interés por la
representación simbólica de
las proposiciones.
 El valor de la honestidad
personal.
 Capacidad de reflexión y
análisis.

66
ACTIVIDADES DE EVALUACIÓN:
 Investigación relacionada con la temática desarrollada en clases.
 Desarrollo de guías de trabajo.
 Preguntas y respuestas orales sobre los conceptos, que permitan evaluar el desarrollo
del pensamiento lógico y crítico de los estudiantes.
 Revisión del cuaderno de los estudiantes como un reflejo de lo desarrollado y aprendido
en clase, teniendo en cuenta la presentación, aseo, orden y recolección de datos.
 Observación del trabajo diario desarrollado en el aula, registrando el alcance gradual y
progresivo de competencias de los estudiantes.
 Elaboración de un instrumento por parte del profesor o profesora que facilite la
oportunidad a los estudiantes de autoevaluación y coevaluación de las actividades en
que participan a fin de conocer sus capacidades y valorar sus esfuerzos.
 Realización de pruebas escritas a fin de certificar el logro de competencias y saberes
adquiridos por los estudiantes.
 Evaluación formativa: Honestidad, liderazgo, compañerismo, trabajo en equipo,
participación, etc.

BIBLIOGRAFÍA SUGERIDA RECURSOS DIDÁCTICOS

 Stern Nancy B; (1990 )Diagrama de flujo: manual de SUGERIDOS:
lógica para computadora.  Material impreso.
 Couturat, Louis; (1976). El álgebra de la lógica.  Juego de reglas.
 Nidditch, P.H; (1980). El desarrollo de la lógica  Guías de Trabajo.
matemática.
 Boole, George; (1984). El análisis matemático de la
lógica.
 Crossley, John N; (1983). ¿Qué es la lógica
Matemática?
 Puyau, Hernces A, Rotti, Jorge A; (1976). Elementos
de logica matematica.
 Burgos, Alfonso; (1975). Iniciación a la lógica
matemática.
 Mates, Benson; (1970). Lógica matemática elemental.
 Moreno Alberto; (1969). Lógica matemática;
antecedente y fundamentos.
 Zabieta Rossi, Gonzalo; (1977). Manual de lógica para
estudiantes de matemática
Online
 www.riconmatematico.com
 www.librosgratis.net

67
 UNIDAD II: REGLAS DE INFERENCIAS

COMPETENCIAS DE LA UNIDAD

 Conocer y diferenciar las reglas de inferencias según su forma de aplicación.

 Desarrollar el pensamiento lógico matemático a través de uso de reglas y ordenamiento
de ideas.
 Determinar la conclusión de un conjunto de premisas aplicando en forma conjunta las
reglas de inferencia.

TIEMPO: 15 Horas

CONTENIDOS
■ Conceptuales
PROCESOS Y ACTIVIDADES
EXPECTATIVAS DE LOGRO ▲ Procedimentales
SUGERIDAS
● Actitudinales

 Modus Ponendo Ponens

1. Analizan la aplicabilidad  Describen la regla del Modus
del Modus Ponendo ▲ Definición y función del Ponendo Ponens.
Ponens. Modus Ponendo Ponens.  Leen razonamientos
▲ Representación verbal y representados en forma
2. Deducen la conclusión
de premisas mediante una simbólica de premisas. simbólica.
sucesión razonamientos ▲ Demostración de  Interpretan en lenguaje
elementales válidos. proposiciones a partir de dos verbal razonamientos
o más premisas. representados en forma
 Muestran interés por la simbólica.
representación simbólica de  Construyen premisas en
las proposiciones. lenguaje verbal y simbólico
 Capacidad de reflexión y  Realizan demostraciones
análisis. utilizando el Modus
 Valoran la demostración Ponendo Ponens.
como un proceso confiable
en verificación de premisas.

 Regla de doble negación.  Describen la regla de doble

3. Describen la negación.
aplicabilidad de la regla de ▲ Definición de la regla de
doble negación.  Leen y comprenden
doble de negación.
▲ Aplicación de regla de doble razonamiento
4. Aplican la regla de la negación. representados en forma
doble negación para ▲ Demostración haciendo uso simbólica.
deducir la conclusión de
68
 CONTENIDOS
■ Conceptuales
PROCESOS Y ACTIVIDADES
EXPECTATIVAS DE LOGRO ▲ Procedimentales
SUGERIDAS
● Actitudinales

premisas mediante una de las reglas:  Construyen premisas y las

sucesión razomientos
elementales validos.
a) Modus Ponendo Ponens. representan en lenguaje
b) Doble negación. verbal y simbólico.
 Realizan demostraciones
utilizando el Modus
Ponendo Ponens y la regla
de la doble negación.

5. Analizan la aplicabilidad
 Modus Tollendo Tollens  Describen el Modus Tollendo
del Modus Tollendo ▲ Definición y función del Tollens.
Tollens.  Leen razonamientos
Modus Tollendo Tollens.
▲ Representación verbal y representados en forma
6. Deducen la conclusión simbólica de premisas. simbólica.
de premisas mediante una ▲ Demostración de  Construyen premisas en
sucesión razonamientos proposiciones aplicando las lenguaje verbal y simbólico
elementales válidos. reglas: uitilizando el Modus
a) Modus Tollendo Tollens. Tollendo Tollens.
b) Doble negación.  Realizan demostraciones
 Muestran interés por la utilizando en forma
representación simbólica de conjunta reglas de
las proposiciones. inferencia.
 Capacidad de reflexión y
análisis.
 Valoran la demostración
como un proceso confiable
en verificación de premisas.

69
ACTIVIDADES DE EVALUACIÓN:
 Investigación relacionada con la temática desarrollada en clases.
 Desarrollo de guías de trabajo.
 Preguntas y respuestas orales sobre los conceptos, que permitan evaluar el desarrollo
del pensamiento lógico y crítico de los estudiantes.
 Revisión del cuaderno de los estudiantes como un reflejo de lo desarrollado y aprendido
en clase, teniendo en cuenta la presentación, aseo, orden y recolección de datos.
 Observación del trabajo diario desarrollado en el aula, registrando el alcance gradual y
progresivo de competencias de los estudiantes.
 Elaboración de un instrumento por parte del profesor o profesora que facilite la
oportunidad a los estudiantes de autoevaluación y coevaluación de las actividades en
que participan a fin de conocer sus capacidades y valorar sus esfuerzos.
 Realización de pruebas escritas a fin de certificar el logro de competencias y saberes
adquiridos por los estudiantes.
 Evaluación formativa: Honestidad, liderazgo, compañerismo, trabajo en equipo,
participación, etc.

BIBLIOGRAFÍA SUGERIDA RECURSOS DIDÁCTICOS

 Stern Nancy B; (1990) Diagrama de flujo: manual de SUGERIDOS:
lógica para computadora.  Material impreso.
 Couturat, Louis; (1976). El álgebra de la lógica.  Juego de reglas.
 Nidditch, P.H; (1980). El desarrollo de la lógica  Guías de Trabajo.
matemática.
 Boole, George; (1984). El análisis matemático de la
lógica.
 Crossley, John N; (1983). ¿Qué es la lógica
Matemática?
 Puyau, Hernces A, Rotti, Jorge A; (1976). Elementos
de logica matematica.
 Burgos, Alfonso; (1975). Iniciación a la lógica
matemática.
 Mates, Benson; (1970). Lógica matemática elemental.
 Moreno Alberto; (1969). Lógica matemática;
antecedente y fundamentos.
 Zabieta Rossi, Gonzalo; (1977). Manual de lógica para
estudiantes de matemática
Online
 www.riconmatematico.com
 www.librosgratis.net

70
 UNIDAD III: TABLAS DE VERDAD

COMPETENCIAS DE LA UNIDAD

 Aplicar las reglas de los conectores lógicos en la construcción de las tablas básicas 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 tautología en pares de proposiciones a través de las tablas de verdad.

TIEMPO: 15 Horas

CONTENIDOS
■ Conceptuales PROCESOS Y ACTIVIDADES
EXPECTATIVAS DE LOGRO
▲ Procedimentales SUGERIDAS
● Actitudinales
1. Construyen las tablas  Tablas básicas de verdad.  Construyen tablas de
básicas de la verdad. ▲ Construcción de las tablas verdad.
básicas de verdad para los
términos de enlace:  Encuentran el valor de la
a) Proposiciones simples: verdad a través de tablas.
 Tabla de negación.
b) Proposiciones
compuestas
 Conjunción.
 Disyunción.
 Condicional.
 Bicondicional.
▲ Formulación de reglas para

encontrar el valor de verdad

en las tablas básicas
construidas.
 Desarrollan el pensamiento
lógico.
 Valor de la honestidad

71
 CONTENIDOS
■ Conceptuales PROCESOS Y ACTIVIDADES
EXPECTATIVAS DE LOGRO
▲ Procedimentales SUGERIDAS
● Actitudinales
2. Analizan los valores de  Tablas de Verdad de  Probar equivalencia entre
verdad de proposiciones Proposiciones Compuestas. proposiciones siguiendo el
simples que componen ▲ Descripción del método para método de desarrollo de
una tabla de verdad.
comprobar la validez de tablas de verdad.
cualquier inferencia (paso).
▲ Construcción de tablas de

verdad para la validación de

razonamiento partiendo del
número de proposiciones.
 Muestran interés por la
demostración de argumentos
matemáticos.

3. Demuestran la validez  Tautología de las tablas de la  Determinan la tautología

de un razonamiento. verdad entre proposiciones.
▲ Definición de tautología,
falacia y contradicción.  Demuestran la validez de
▲ Implicación y equivalencia una inferencia a través de la
tautológica tautología en una
▲ Condición necesaria para el implicación.
cumplimiento de la tautología
en la demostración de
razonamiento.
▲ Demostración la validez o no
validez de una inferencia.

72
ACTIVIDADES DE EVALUACIÓN:
 Investigación relacionada con la temática desarrollada en clases.
 Desarrollo de guías de trabajo.
 Preguntas y respuestas orales sobre los conceptos, que permitan evaluar el desarrollo
del pensamiento lógico y crítico de los estudiantes.
 Revisión el cuaderno de los estudiantes como un reflejo de lo desarrollado y aprendido
en clase, teniendo en cuenta la presentación, aseo, orden y recolección de datos.
 Observación del trabajo diario desarrollado en el aula, registrando el alcance gradual y
progresivo de competencias de los estudiantes.
 Elaboración de un instrumento por parte del profesor o profesora que facilite la
oportunidad a los estudiantes de autoevaluación y coevaluación de las actividades en
que participan a fin de conocer sus capacidades y valorar sus esfuerzos.
 Realización de pruebas escritas a fin de certificar el logro de competencias y saberes
adquiridos por los estudiantes.
 Evaluación formativa: Honestidad, liderazgo, compañerismo, trabajo en equipo,
participación, etc.

BIBLIOGRAFÍA SUGERIDA RECURSOS DIDÁCTICOS

 Stern Nancy B; (1990) Diagrama de flujo: manual de SUGERIDOS:
lógica para computadora.  Material impreso.
 Couturat, Louis; (1976). El álgebra de la lógica.  Juego de reglas.
 Nidditch, P.H; (1980). El desarrollo de la lógica  Guías de Trabajo.
matemática.
 Boole, George; (1984). El análisis matemático de la
lógica.
 Crossley, John N; (1983). ¿Qué es la lógica
Matemática?
 Puyau, Hernces A, Rotti, Jorge A; (1976). Elementos
de logica matematica.
 Burgos, Alfonso; (1975). Iniciación a la lógica
matemática.
 Mates, Benson; (1970). Lógica matemática elemental.
 Moreno Alberto; (1969). Lógica matemática;
antecedente y fundamentos.
 Zabieta Rossi, Gonzalo; (1977). Manual de lógica para
estudiantes de matemática
Online
 www.riconmatematico.com
 www.librosgratis.net

73