INSTITUTO __________________________________________

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

2
0
1
5

VB.

__________________________________
DIRECCIN

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.

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.

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

1. Definen proposiciones simples

y compuestas.

CONTENIDOS
Conceptuales
Procedimentales
Actitudinales

Proposiciones simples compuestas

Definicin de lgica.
2. Diferencian las proposiciones
simples de las proposiciones
compuestas.
3. Clasifican diferentes tipos de
proposiciones.

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.

EVALUACIN
Investigacin relacionada con
la temtica desarrollada en
clase.

Clasifican las proposiciones.

Desarrollo de guas de trabajo
en casa. (Pg.12, 16, 19, 21,
Utilizan el lenguaje simblico para expresar
23, 25, 30 )
enunciados representados en lenguaje
verbal y viceversa.
Desarrollo de guas de trabajo
en clase. (Pg.26, 31 )
Redactan proposiciones relacionadas con
su experiencia diaria segn su contexto.

4. Construyen proposiciones
simples y compuestas.

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.

Utilizan las propiedades del algebra en el

anlisis expresiones simblicas.

Analizan expresiones simblicas y realizan

conclusiones.
Aplican las propiedades para la
elaboracin de proposiciones.

Traduccin del lenguaje natural al

lenguaje simblico.

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.

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.

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

EVALUACIN

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.

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, )

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.

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.

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

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
Actitudinales
1. Construyen las tablas
Tablas bsicas de verdad.
Construccin de las tablas bsicas de verdad
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.
Desarrollan el pensamiento lgico.
Valor de la honestidad

PROCESOS Y ACTIVIDADES SUGERIDAS

Construyen tablas de verdad.
Encuentran el valor de la verdad a
travs de tablas.

EVALUACIN
Investigacin relacionada con
la temtica desarrollada en
clase.
Desarrollo de guas de trabajo
en casa. (Pg. 72, 74, 76, 78,
80, 81, 87, 91, 93, 95)
Desarrollo de guas de trabajo
en clase. (Pg. 82, 89, 97)

2. Analizan los valores de

verdad de proposiciones
simples que componen
una tabla de verdad.

Tablas de Verdad de
Proposiciones Compuestas.
Descripcin

Preguntas y respuestas orales

sobre los conceptos, que
proposiciones siguiendo el mtodo de
permitan evaluar el desarrollo
desarrollo de tablas de verdad.
del pensamiento lgico y
crtico de los estudiantes.

.Probar equivalencia entre

del mtodo para comprobar la

validez de cualquier inferencia (paso).

Construccin

de tablas de verdad para la

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.

validacin de razonamiento partiendo del nmero

de proposiciones.

Muestran inters por la demostracin de

argumentos matemticos.

3. Demuestran la validez
de un razonamiento.

Tautologa de las tablas de la

Determinan la tautologa entre

verdad
Definicin

proposiciones.
de tautologa, falacia y

contradiccin.
Implicacin
Condicin

Demuestran la validez de una

y equivalencia tautolgica

inferencia a travs de la tautologa en

necesaria para el cumplimiento de

una implicacin.

la tautologa en la demostracin de
razonamiento.
Demostracin

la validez o no

validez de una inferencia

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
9

Evaluacin formativa:
Honestidad, liderazgo,
compaerismo, trabajo en
equipo, participacin, etc.

Desarrollo autoevaluacin
pg. 99-101
Realizacin de pruebas
escritas a fin de certificar el
logro de competencias y
saberes adquiridos por los
estudiantes.