-
7/26/2019 planificacion Lgica 2016
1/3
Centro de educacin Tcnica N1
Escuela Tcnica Don Antonio Sanchez Platero General Roca- Ro
Nero
Plani!icacin Anual "ica
Pro!#"ic $ore %a&i'iliano Go'ez
(unda'entacin
La lgica Matemtica surge como el resultado de la convergencia de
4 lineas de pensamiento:
1. la Lgica antigua (Aristoteles)2. La idea de un lenguaje
completo y automtico para el raonamiento.!. Los nuevos progresos en
lge"ra y geometr#a acaecidos despu$s de 1%&'4. La idea de ue ay
partes de la matemtica ue son sistemas deductivos* esto es* cadena
de raonamientosue se con+orman a las reglas de la lgica.
La lgica proposicional y la lgica de primer orden o lgica de
predicados +orman parte de las lgicasclsicas y constituyen el
sustento de la programacin lgica. ,l raonamiento lgico se emplea
enmatemtica para demostrar teoremas- en ciencias de la computacin
para veri+icar si los programas son
correctos o no* en las ciencias +#sicas o naturales para o"tener
conclusiones de eperimentos- en las /ienciassociales y en la vida
cotidiana* para resolver una incre#"le cantidad de pro"lemas. 0os
re+erimos a la Lgicapropocional clsica con L/ y utiliaremos L* para
denotar la lgica de primer orden.,n este sentido la lgica
proposicional es una importante rama de la matemtica ue se +ormalia
en el siglo33. 5e atri"uye a Aristoteles (!&46!226A/) el primer
estudio sistemtico y +ormal del raonamiento lgicoy el empleo del
t$rmino lgica para re+erirse al estudio de los argumentos o a la
verdad de la ciencia. ,l+iloso+o y matemtico Aleman 7. 8. Lei"ni
(19496119) a realiado importantes contri"uciones durante elsiglo 3;
y +ue 7. esolver situaciones pro"lemticas distinguir el raonamiento
correcto del incorrecto. ;eri+icar si los programas son correctos o
no.
Pro)sitos es)ec!icos en !uncin de cada unidad*
+nidad ,*
>econocer los distintos elementos ue componen una proposicin
y los valores de verdad ue estas
pueden tomar. >econocer los posi"les valores de verdad y su
uso mediante ta"las de verdad. /omprender las +ormas de conectar
proposiciones y los resultados lgicos ue esto conlleva.
+nidad ,,
>econocer las partes ue componen un raonamiento y la +ormas
de compro"ar la veracidad delmismo.
/onocer las reglas de in+erencias mas comunes utiliadas para
compro"ar los raonamientos.
-
7/26/2019 planificacion Lgica 2016
2/3
+nidad ,,,
/onocer los di+erentes m$todos de demostraciones y las reglas
utiliadas en los mismos. >econocer la importancia del uso de las
demostraciones en la resolucin de pro"lemas comBnes.
+nidad ,
/onocer el lge"ra de eglas derivadas de in+erencia. @$cnicas
dededuccin. @eor#as aiomticas. /onceptos "sicos. ;erdad y valide
lgica. /onsistencia.roposiciones y ta"la de verdad- roposiciones y
valor de verdad* proposicin compuesta* varia"les de
enunciados (varia"les proposicionales)* ta"la de verdad./onein
entre proposiciones (compuestas)* conjuncin* disyuncin* disyuncin
eclusiva* negacin*proposicin condicional* proposicin rec#proca*
proposicin contra rec#proca* proposicin "i condicional.@autolog#a y
contradicciones.
+nidad .*>aonamientos
>aonamientos: raonamiento* raonamiento vlido* +alacia*
in+erencia: >egla de in+erencia mas usuales.emostraciones:
@eorema corolario* lema* demostracin* raonamientos y
cuanti+icadores: e+inicionesmatemticas* regla de particulariacin*
regla de generaliacin.
+nidad ,,,* emostraciones
M$todo de demostracin: demostracin vac#a* demostracin trivial*
demostracin directa* demostracin porla contrarec#proca* demostracin
por contradicciones y "Bsueda de contraejemplos.
+nidad ,*Clge"ra de esponsa"ilidad y constancia
=ijar pautas comunes de convivencia en el grupo y de compromiso
con la material =ormar y +omentar una actitud responsa"le acia las
tareas individuales y grupales. 7enerar el inter$s por temas ue se
relacionan con la lgica en general.
-
7/26/2019 planificacion Lgica 2016
3/3
%odalidad de tra/a0os
el dictado de la asignatura se distri"uye en clases tericas y
prcticas. ,l en+oue de la materia esesencialmente prctico. Las
clases tericas promueven la participacin de los estudiantes* la
metodlog#a deenseDana es +undamentalmente epositiva. La introduccin
de cada nuevo concepto* por uno o dos ejemplosue ilustran su
aplicacin
en las clases prcticas se "rindan algunas eplicaciones
epositivas para retomar y re+orar los contenidospresentados en
teor#a* pero en general la mayor parte de las clases se destina a
atender las consultas de losestudiantes y guiarlos en la resolucin
de as actividades prcticas* intentando guiarlos en cada etapa
delproceso.
Estrateias
,la"oracin e tra"ajos prcticos en todos los temas desarrollados
,posicin oral y resolucin de pro"lemas dados en en conjunto*
ermitir el tra"ajo entre estudiantes +omentando la ayuda mutua
e"ate de conceptos dados en +orma a"ierta. ,valuacin escrita al
alcanar puntos estrat$gicos de cada uno de los temas dados.
Ealuacin 2 acreditacin
La evaluacin se entiende como un proceso por lo ue se realiar en
+orma continua atendiendo a laapropiacin de los contenidos
conceptuales y su aplicacin prctica en la resolucin de las
situacionespro"lemticas* adems con evaluaciones escritas orales e
individuales* al alcanar puntos estrat$gicos decada unidad
