INSTITUTO __________________________________________

DOCENTE: __________________________________________
ASIGNATURA: ______________________________________
CURSO: _________ SECCION____________
Fecha: ___________________

2
0
1 VB. __________________________________

5 DIRECCIN
1
 DATOS DE IDENTIFICACIN

NOMBRE DEL ESPACIO CURRICULAR: Lgica Simblica

GRADO AL QUE PERTENECE: Undcimo, primer semestre

HORAS CLASE: 2 Semanales

I. 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 en tres unidades temticas.

A travs del desarrollo de stas 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.

2
 II. 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.

III. 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 comn al lenguaje simblico 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 problemtico.
Aprender las reglas de inferencia lgica, para aplicarlas en la solucin de problemas propuestos.
Comprender tablas de verdad para expresiones simples y compuestas con diferentes tipos de conectivos.

3
 UNIDAD 1 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 sign12ificado de cada caso que se propone.

TIEMPO: 10 HORAS (02 DE FEBRERO AL 06 DE MARZO)

EXPECTATIVAS DE LOGRO
Actitudinales
1. Definen proposiciones simples
y compuestas.
2. Diferencian las proposiciones
simples de las proposiciones
compuestas.
3. Clasifican diferentes tipos de
proposiciones.
4. Construyen proposiciones
simples y compuestas.
CONTENIDOS
Conceptuales
Procedimentales
Proposiciones simples compuestas
Definicin de lgica.
Definicin de lgica simblica.
Definen: Variable, expresin, formula,
constante y proposiciones).
Clasificacin de proposiciones.
PROCESOS Y ACTIVIDADES SUGERIDAS
Identifican proposiciones en una lista de
enunciados.
Clasifican las proposiciones.
en casa. (Pg.12, 16, 19, 21,
Utilizan el lenguaje simblico para expresar
enunciados representados en lenguaje
verbal y viceversa.
Redactan proposiciones relacionadas con
su experiencia diaria segn su contexto.
EVALUACIN
Investigacin relacionada con
la temtica desarrollada en
clase.
Desarrollo de guas de trabajo
23, 25, 30 )
Desarrollo de guas de trabajo
en clase. (Pg.26, 31 )

4

5. Traducen expresiones verbales
al lenguaje simblico.
Enumeracin de conectivos lgicos
(negacin, conjuncin, disyuncin
inclusiva y exclusiva, condicional,
bicondicional).
Funcin y uso de los conectivos
lgicos.
Representacin de situaciones reales
en la construccin de proposiciones.
Traduccin del lenguaje natural al
lenguaje simblico.
Aplicacin de las propiedades
bsicas del algebra en la conjuncin y
disyuncin de proposiciones.
a) Conmutativa.
b) Asociativa.
c) Distributiva.
d) Identidad.
Aplican lo aprendido a situaciones
presentadas en la vida real.
Muestran inters por la
representacin simblica de las
proposiciones.
El valor de la honestidad personal.
Capacidad de reflexin y anlisis.
Utilizan las propiedades del algebra en el
anlisis expresiones simblicas.
Analizan expresiones simblicas y realizan
conclusiones.
Aplican las propiedades para la
elaboracin de proposiciones.
5
Preguntas y respuestas orales
sobre los conceptos, que
permitan evaluar el desarrollo
del pensamiento lgico y
crtico de los estudiantes.
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.
Evaluacin formativa:
Honestidad, liderazgo,
compaerismo, trabajo en
equipo, participacin, etc.
Desarrollo autoevaluacin
pg. 32-34
Realizacin de pruebas
escritas a fin de certificar el
logro de competencias y
saberes adquiridos por los
estudiantes.
 UNIDAD 2 REGLAS DE INFERENCIA
COMPETENCIAS DE LA UNIDAD
Conocer y diferenciar las reglas de inferencia segn su forma de aplicacin.
Desarrollar el pensamiento lgico matemtico a travs del 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 (09 DE MARZO AL 30 ABRIL)

EXPECTATIVAS DE LOGRO
1. Analizan la aplicabilidad del
Modus Ponendo Ponens.
2. Deducen la conclusin de
premisas mediante una
sucesin razonamientos
elementales vlidos.
3. Describen la aplicabilidad de la
regla de doble de negacin.
CONTENIDOS
Conceptuales
Procedimentales
Actitudinales
Modus Ponendo Ponens
Definicin y funcin del
Modus Ponendo Ponens.
Representacin verbal y simblica de
premisas.
Demostracin de proposiciones a
partir de dos o ms premisas.
Muestran inters por la
representacin simblica de las
proposiciones.
Capacidad de reflexin y anlisis.
Valoran la demostracin como un
proceso confiable en verificacin de
premisas.
PROCESOS Y ACTIVIDADES SUGERIDAS
Describen la regla del Modus Ponendo
Ponens.
Leen razonamientos representados en
forma simblica.
Interpretan en lenguaje verbal
razonamientos representados en forma
simblica.
Construyen premisas en lenguaje verbal y
simblico
Realizan demostraciones utilizando el
Modus Ponendo Ponens.
EVALUACIN
Investigacin relacionada con
la temtica desarrollada en
clase.
Desarrollo de guas de trabajo
en casa. (Pg. 41, 45,49, 54,
60, 65, )
Desarrollo de guas de trabajo
en clase. (Pg. 39, 44, 47, 52,
58, 64, )

6
4. Aplican la regla de la doble
negacin para deducir la
conclusin de premisas
mediante una sucesin
razonamientos elementales
vlidos.
5. Analizan la aplicabilidad del
Modus Tollendo Tollens.
6. Deducen la conclusin de
premisas mediante una
sucesin razonamientos
elementales vlidos.
Regla de doble negacin.
Definicin de la regla de doble
negacin.
Aplicacin de regla de doble
negacin.
Demostracin haciendo uso
de las reglas:
a) Modus Ponendo Ponens.
b) Doble negacin.
Modus Tollendo Tollens
Definicin y funcin del
Modus Tollendo Tollens.
Representacin verbal y
simblica de premisas.
Demostracin de
proposiciones aplicando las
reglas:
a) Modus Tollendo Tollens.
b) Doble negacin.
Muestran inters por la
representacin simblica de las
proposiciones.
Capacidad de reflexin y anlisis.
Valoran la demostracin como un
proceso confiable en verificacin de
premisas.
Describen la regla de doble negacin.
Leen y comprenden razonamiento
representados en forma simblica.
Construyen premisas y las representan en
lenguaje verbal y simblico.
Realizan demostraciones utilizando el
Modus Ponendo Ponens y la regla de la
doble negacin.
Describen el Modus Tollendo Tollens.
Leen razonamientos representados en
forma simblica.
Construyen premisas en lenguaje verbal y
simblico utilizando el Modus Tollendo
Tollens.
Realizan demostraciones utilizando en
forma conjunta reglas de inferencia.
7
Preguntas y respuestas orales
sobre los conceptos, que
permitan evaluar el desarrollo
del pensamiento lgico y
crtico de los estudiantes.
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.
Evaluacin formativa:
Honestidad, liderazgo,
compaerismo, trabajo en
equipo, participacin, etc.
Desarrollo autoevaluacin
pg. 67-69
Realizacin de pruebas
escritas a fin de certificar el
logro de competencias y
saberes adquiridos por los
estudiantes.
 UNIDAD 3 TABLAS DE VERDAD Y PROPIEDADES
COMPETENCIAS DE LA UNIDAD
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 (04 DE MAYO A JUNIO)

CONTENIDOS
Conceptuales
EXPECTATIVAS DE LOGRO Procedimentales PROCESOS Y ACTIVIDADES SUGERIDAS EVALUACIN
Actitudinales
1. Construyen las tablas Tablas bsicas de verdad. Construyen tablas de verdad. Investigacin relacionada con
bsicas de verdad. Construccin de las tablas bsicas de verdad la temtica desarrollada en
para los trminos de enlace: Encuentran el valor de la verdad a clase.
a) Proposiciones simples:
travs de tablas.
Tabla de negacin.
b) Proposiciones Desarrollo de guas de trabajo
compuestas en casa. (Pg. 72, 74, 76, 78,
Conjuncin. 80, 81, 87, 91, 93, 95)
Disyuncin.
Condicional.
Bicondicional. Desarrollo de guas de trabajo
Formulacin de reglas para encontrar el valor en clase. (Pg. 82, 89, 97)
de verdad en las tablas bsicas construidas.
Desarrollan el pensamiento lgico.
Valor de la honestidad

8
2. Analizan los valores de Tablas de Verdad de .Probar equivalencia entre Preguntas y respuestas orales
verdad de proposiciones Proposiciones Compuestas. sobre los conceptos, que
proposiciones siguiendo el mtodo de
simples que componen permitan evaluar el desarrollo
Descripcin del mtodo para comprobar la
una tabla de verdad. desarrollo de tablas de verdad. del pensamiento lgico y
validez de cualquier inferencia (paso).
crtico de los estudiantes.
Construccin de tablas de verdad para la
validacin de razonamiento partiendo del nmero Revisin del cuaderno de los
estudiantes como un reflejo de
de proposiciones.
lo desarrollado y aprendido en
Muestran inters por la demostracin de clase, teniendo en cuenta la
argumentos matemticos. presentacin, aseo, orden y
recoleccin de datos.
3. Demuestran la validez
de un razonamiento. Evaluacin formativa:
Tautologa de las tablas de la Honestidad, liderazgo,
Determinan la tautologa entre
compaerismo, trabajo en
verdad
proposiciones. equipo, participacin, etc.
Definicin de tautologa, falacia y
contradiccin. Demuestran la validez de una
Desarrollo autoevaluacin
Implicacin y equivalencia tautolgica inferencia a travs de la tautologa en pg. 99-101
Condicin necesaria para el cumplimiento de una implicacin.
la tautologa en la demostracin de Realizacin de pruebas
escritas a fin de certificar el
razonamiento.
logro de competencias y
Demostracin la validez o no saberes adquiridos por los
validez de una inferencia estudiantes.

No puedes encontrar la verdad con la lgica si no la has encontrado ya sin ella. G.K. Chesterton

Libro de Texto: Lgica Simblica/Lic. Luis Rodolfo Morales/Lic. Cesar Edgardo Hernndez