Jornalización de Lógica

1

INSTITUTO __________________________________________

DOCENTE: __________________________________________

ASIGNATURA: ______________________________________

CURSO: _________ SECCION____________

Fecha: ___________________

VB. __________________________________

DIRECCIN

2

0

1

5

2

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.

DATOS DE IDENTIFICACIN

NOMBRE DEL ESPACIO CURRICULAR: Lgica Simblica

GRADO AL QUE PERTENECE: Undcimo, primer semestre

HORAS CLASE: 2 Semanales

3

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.

4

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

CONTENIDOS Conceptuales Procedimentales

Actitudinales

PROCESOS Y ACTIVIDADES SUGERIDAS

EVALUACIN

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.

Proposiciones simples compuestas

Definicin de lgica.

Definicin de lgica simblica.

Definen: Variable, expresin, formula,

constante y proposiciones).

Clasificacin de proposiciones.

Identifican proposiciones en una lista de

enunciados.

Clasifican las proposiciones.

Utilizan el lenguaje simblico para expresar

enunciados representados en lenguaje

verbal y viceversa.

Redactan proposiciones relacionadas con

su experiencia diaria segn su contexto.

Investigacin relacionada con

la temtica desarrollada en

clase.

Desarrollo de guas de trabajo

en casa. (Pg.12, 16, 19, 21,

23, 25, 30 )


en clase. (Pg.26, 31 )

5

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.

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.

6

UNIDAD 2 REGLAS DE INFERENCIA


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)



Actitudinales


EVALUACIN

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.

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.


Valoran la demostracin como un proceso confiable en verificacin de premisas.

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.



clase.


en casa. (Pg. 41, 45,49, 54,

60, 65, )


en clase. (Pg. 39, 44, 47, 52,

58, 64, )

7

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.


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.

















pg. 67-69





estudiantes.

8

UNIDAD 3 TABLAS DE VERDAD Y PROPIEDADES


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)



Actitudinales


EVALUACIN

1. Construyen las tablas

bsicas de verdad.

Tablas bsicas de 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.

Desarrollan el pensamiento lgico.

Valor de la honestidad

Construyen tablas de verdad.

Encuentran el valor de la verdad a

travs de tablas.



clase.


en casa. (Pg. 72, 74, 76, 78,

80, 81, 87, 91, 93, 95)


en clase. (Pg. 82, 89, 97)

9

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

2. Analizan los valores de verdad de proposiciones simples que componen una tabla de verdad.

3. Demuestran la validez de un razonamiento.

Tablas de Verdad de Proposiciones Compuestas.

Descripcin del mtodo para comprobar la

validez de cualquier inferencia (paso).

Construccin de tablas de verdad para la

validacin de razonamiento partiendo del nmero

de proposiciones.

Muestran inters por la demostracin de

argumentos matemticos.

Tautologa de las tablas de la

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

.Probar equivalencia entre

proposiciones siguiendo el mtodo de

desarrollo de tablas de verdad.

Determinan la tautologa entre

proposiciones.

Demuestran la validez de una

inferencia a travs de la tautologa en

una implicacin.

















pg. 99-101





estudiantes.

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

Jornalización de Lógica

Documents

Transcript of Jornalización de Lógica