Centro de educacin Tcnica N1

Escuela Tcnica Don Antonio Sanchez Platero General Roca- Ro Negro

Planificacin Anual Lgica
Prof.Lic Jorge Maximiliano Gomez
Fundamentacin
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 razonamiento.
3. Los nuevos progresos en lgebra y geometra acaecidos despus de 1985
4. La idea de que hay partes de la matemtica que son sistemas deductivos, esto es, cadena de razonamientos
que se conforman a las reglas de la lgica.
La lgica proposicional y la lgica de primer orden o lgica de predicados forman parte de las lgicas
clsicas y constituyen el sustento de la programacin lgica. El razonamiento lgico se emplea en
matemtica para demostrar teoremas; en ciencias de la computacin para verificar si los programas son
correctos o no, en las ciencias fsicas o naturales para obtener conclusiones de experimentos; en las Ciencias
sociales y en la vida cotidiana, para resolver una increble cantidad de problemas. Nos referimos a la Lgica
propocional clsica con LPC y utilizaremos LPO, para denotar la lgica de primer orden.
En este sentido la lgica proposicional es una importante rama de la matemtica que se formaliza en el siglo
XIX. Se atribuye a Aristoteles (384-322-AC) el primer estudio sistemtico y formal del razonamiento lgico
y el empleo del trmino lgica para referirse al estudio de los argumentos o a la verdad de la ciencia. El
filosofo y matemtico Aleman G. W. Leibniz (1646-1716) ha realizado importantes contribuciones durante el
siglo XVII y fue G. Boole de (1815-1864), quien la re descubre y extiende su desarrollo. Enfoques mas
modernos que se deben a G. Frege (1848-1925); A.N. Whitehead (1861-1947) y B. Russell (1872-1970)
entre otros matemticos.
Siguiendo estas lineas de pensamiento es que la asignatura Lgica en la Especialidad de Tcnico en
Informtica y Personal estar orientada a brindar y establecer conceptualizaciones y ejercicios que estn al
servicio resolucin de problemas derivados de la operatoria, y apoyo a la contratacin de productos o
servicios informticos, desarrollando las actividades descriptas en su perfil profesional y pudiendo actuar de
nexo entre el especialista o experto en el tema, producto o servicio y el usuario final.
Propsitos:

Desarrollar el pensamiento Lgico formal abstracto.

Resolver situaciones problemticas
distinguir el razonamiento correcto del incorrecto.
Verificar si los programas son correctos o no.

Propsitos especficos en funcin de cada unidad:

Unidad I:

Reconocer los distintos elementos que componen una proposicin y los valores de verdad que estas
pueden tomar.
Reconocer los posibles valores de verdad y su uso mediante tablas de verdad.
Comprender las formas de conectar proposiciones y los resultados lgicos que esto conlleva.

Unidad II

Reconocer las partes que componen un razonamiento y la formas de comprobar la veracidad del
mismo.
Conocer las reglas de inferencias mas comunes utilizadas para comprobar los razonamientos.

Unidad III

Conocer los diferentes mtodos de demostraciones y las reglas utilizadas en los mismos.
Reconocer la importancia del uso de las demostraciones en la resolucin de problemas comnes.

Unidad IV

Conocer el lgebra de Boole, sus teoremas y las funciones lgicas.

Comprender su aplicacin en los circuitos digitales.

Contenidos conceptuales
Unidad I: Lgica de proposiciones
Introduccin a los lenguajes formales. Definicin de lenguaje formal. Expresiones, trminos y formulas.
Variables libres y ligadas. El clculo deductivo de primer orden. Reglas derivadas de inferencia. Tcnicas de
deduccin. Teoras axiomticas. Conceptos bsicos. Verdad y validez lgica. Consistencia.
Proposiciones y tabla de verdad; Proposiciones y valor de verdad, proposicin compuesta, variables de
enunciados (variables proposicionales), tabla de verdad.
Conexin entre proposiciones (compuestas), conjuncin, disyuncin, disyuncin exclusiva, negacin,
proposicin condicional, proposicin recproca, proposicin contra recproca, proposicin bi condicional.
Tautologa y contradicciones.
Unidad 2: Razonamientos
Razonamientos: razonamiento, razonamiento vlido, falacia, inferencia: Regla de inferencia mas usuales.
Demostraciones: Teorema corolario, lema, demostracin, razonamientos y cuantificadores: Definiciones
matemticas, regla de particularizacin, regla de generalizacin.
Unidad III: Demostraciones
Mtodo de demostracin: demostracin vaca, demostracin trivial, demostracin directa, demostracin por
la contrarecproca, demostracin por contradicciones y bsqueda de contraejemplos.
Unidad IV: lgebra de Boole y compuertas lgicas
lgebra de Boole y compuertas lgicas. Definiciones lgicas. Definicin axiomtica del lgebra de Boole.
Teoremas bsicos y propiedades del lgebra de Boole. Funciones booleanas. Otras operaciones lgicas.
Compuertas lgicas digitales. Familias de circuitos integrados lgicos digitales.
Variables lgicas, , funciones lgicas, teorema de lgebra booleana. Funciones lgicas bsicas. Forma
cannica de una funcin lgica.
Contenidos procedimentales

Desarrollo de la capacidad e interpretacin

Elaboracin de resoluciones de razonamientos por diferentes mtodos
Elaboracin de cuadros y redes conceptuales
Ejercicios con trabajos prcticos

Contenidos actitudinales

Responsabilidad y constancia
Fijar pautas comunes de convivencia en el grupo y de compromiso con la material
Formar y fomentar una actitud responsable hacia las tareas individuales y grupales.
Generar el inters por temas que se relacionan con la lgica en general.

Modalidad de trabajos
el dictado de la asignatura se distribuye en clases tericas y prcticas. El enfoque de la materia es
esencialmente prctico. Las clases tericas promueven la participacin de los estudiantes, la metodloga de
enseanza es fundamentalmente expositiva. La introduccin de cada nuevo concepto, por uno o dos ejemplos
que ilustran su aplicacin
en las clases prcticas se brindan algunas explicaciones expositivas para retomar y reforzar los contenidos
presentados en teora, pero en general la mayor parte de las clases se destina a atender las consultas de los
estudiantes y guiarlos en la resolucin de as actividades prcticas, intentando guiarlos en cada etapa del
proceso.
Estrategias

Elaboracin De trabajos prcticos en todos los temas desarrollados

Exposicin oral y resolucin de problemas dados en en conjunto,
Permitir el trabajo entre estudiantes fomentando la ayuda mutua
Debate de conceptos dados en forma abierta.
Evaluacin escrita al alcanzar puntos estratgicos de cada uno de los temas dados.

Evaluacin y acreditacin
La evaluacin se entiende como un proceso por lo que se realizar en forma continua atendiendo a la
apropiacin de los contenidos conceptuales y su aplicacin prctica en la resolucin de las situaciones
problemticas, adems con evaluaciones escritas orales e individuales, al alcanzar puntos estratgicos de
cada unidad