LOGICA FORMAL

Crditos 3
Elaborada por:

Mat. Diana Marcela Guerrero Ocampo

Revisin de contenido:

Colectivo Disciplinar del Programa

Revisin metodolgica:

Juan Manuel Aramendi Zubira

Diseo:
Publicacin:

UCM, 2010

PRESENTACIN

Apreciado estudiante, en esta asignatura realizaremos el estudio de la lgica, la

cual es una ciencia formal porque sus objetos de conocimiento son las formas o
estructuras que adopta el pensamiento. La denominacin de la lgica, est
directamente relacionada con la palabra griega logos, cuyo significado en griego
antiguo es equivalente a pensamiento o razn, pero tambin palabra o
conocimiento; y logik era lo relativo al logos En definitiva, se trata del estudio
de la forma en que funciona la facultad humana de pensar y razonar.
De la estructura de la lgica y de las leyes del conocimiento inferido, las cuales
permiten obtener conclusiones a partir de proposiciones admitidas como
verdaderas, llamadas premisas. La inferencia lgica es el estudio de la validez de
los razonamientos, no el de la validez de las proposiciones.

La Lgica no consiste en razonar, sino en la investigacin del raciocinio

La parte de la lgica que se ocupa de la correccin o validez del pensamiento se
llama lgica formal o dialctica y la parte lgica que se ocupa de la verdad del
pensamiento, se llama lgica material.
Se esperan trabajar los siguientes temas principales:
Lgica Proposicional: Lenguaje Cientfico y proposiciones lgicas, Conectivos
lgicos, la Conjuncin, la Disyuncin, la Disyuncin exclusiva, La proposicin

condicional,

la proposicin bicondicional, formulas bien formadas, algebra de

proposiciones, leyes de DMorgan, Valores de verdad de las proposiciones,

relaciones y leyes lgicas, inferencia y deduccin de las proposiciones lgicas.

Dentro de la estructura de esta UDPROCO usted podr encontrar hipervnculos

que lo llevaran a:

Talleres de prctica, donde encontrar ejercicios propuestos sobre cada

unidad,

videos en los cuales se explica el desarrollo paso a paso de ejercicios

relacionados con los temas de la asignatura y

otros elementos de apoyo y consulta.

Por otra parte la evaluacin por competencias le permitir prepararse para

presentar las pruebas ECAES y le servir de herramienta para su labor docente.

PROBLEMA DE CONOCIMIENTO

.. Si se sabe lgica matemtica puede relacionar estos conocimientos, con los de

otras reas para de esta manera crear conocimiento.

PROBLEMA:
Cmo se aplica la Lgica Matemtica a las diferentes reas del conocimiento,
para que de esta manera se tenga una buena estructura cognitiva?

ESTRUCTURA CONCEPTUAL

El sujeto cognoscente en formacin

A travs de las estructuras

mentales, operacionales y la
lgica formal

En interdisciplinariedad con
los ncleos del saber

Interpreta al mundo a travs

de juicios y raciocinios

Lo problematiza

Desarrolla el pensamiento
cientfico con la
investigacin del raciocinio

Se educa

Contenido conceptual de lgica.doc

Videos:
Tablas de Verdad 1.wmv

Proyecta el saber
comunicativo

Se humaniza

Videos\Tablas de Verdad 2.wmv

Videos\Tablas de Verdad 3.wmv
Videos\Tablas de Verdad 4.wmv
Videos\Tablas de Verdad 5.wmv
Videos\Tablas de Verdad 6.wmv
Videos\Ejemplo Tablas de Verdad.wmv
Repaso de lgica 3 La conjuncin.wmv

PLANTEAMIENTOS
La lgica consiste en la investigacin del raciocinio.

 Un raciocinio o argumento es lgico cuando se puede calificar de consistente,

coherente o valido.
El pensamiento matemtico esta fundamentado en la lgica.
Las investigaciones en lgica computacional, donde se utiliza modelos Booleanos
para describir circuitos, se han usado para el diseo, la construccin y la
operacin de todas las maquinas modernas, incluyendo los sistemas de
navegacin y tele-informacin.
La lgica es una ciencia ideal porque se ocupa de conceptos, juicios y raciocinios,
que constituyen el pensamiento de una persona al hacer la interpretacin de su
entorno real

LOGROS Y COMPETENCIAS

Analizo la forma como se pueden activar estructuras de tipo mental

operacional de manera clara, concreta, secuencial y pertinente.

Realizo

operaciones

entre

proposiciones,

utilizando

proposiciones

compuestas.

Asumo la lgica inherente al ser humano desde sus orgenes hasta

nuestros das.

Establezco y explico las reglas de inferencia y su demostracin.

Interpreto enunciados, identificando si es proposicin o no lo es.

Interpreto proposiciones en forma simblica.

Propongo proposiciones simples y compuestas en forma simblica y verbal.

Propongo el uso adecuado de las reglas de inferencia correspondientes a

las leyes lgicas.

Argumento el por qu una proposicin es simple o compuesta.

SABERES PREVIOS
Apreciado estudiante,
Con el fin de asegurar y fortalecer la apropiacin de los conocimientos
matemticos planteados en el desarrollo de esta UDPROCO, las actividades

relacionadas en los saberes previos deben ser entregadas al tutor en el primer

encuentro del saber disciplinar para ser socializadas.
La Unidad tiene en cuenta los saberes y aprendizajes del estudiante; por ello,
diagnostica sus preconceptos respecto a la problemtica propuesta en la unidad.

En nuestra cotidianidad utilizamos muchas veces los conceptos de Conocimiento,

Pensamiento, Teora, Lgica, Desarrollo humano. Conocemos, pero sabemos
que significa conocer?, pensamos, pero qu es pensar? , hablamos de
ambientes de aprendizaje, pero, entendemos su significado?, escribimos de
desarrollo humano, pero qu entendemos por desarrollo humano?

1 A partir de estos interrogantes y sin utilizar ninguna ayuda, solamente su

conocimiento y sus palabras, construya los siguientes conceptos:
Conocimiento,
Pensamiento,
Teora,
Lgica
y
Desarrollo humano.

2 Una vez construidos los conceptos relacinelos entre s

3 Qu significa para usted, hablar de lgica matemtica?

4 Cmo utiliza la Lgica en sus situaciones cotidianas y cul sera su MAYOR

aplicacin en su desempeo como docente?

ABORDAJE TERICO

Apreciado estudiante,
La Lgica formal se ocupa de la forma y estructura de los pensamientos. La
aplicacin de las ciencias de la forma pura a la comprensin del mundo de los
hechos, se efecta asignando diferentes interpretaciones a los objetos formales.

En esta forma ellas (las ciencias) recurren a la lgica y a la matemtica y las

emplea como herramientas para realizar la reconstruccin de las complejas
relaciones que se encuentran entre los hechos.
En esta asignatura tendremos la oportunidad de estudiar los componentes
principales de la lgica proposicional y de la lgica de trminos. La lgica de
trminos puede ser:

Lgica de predicados: trata de las comprensiones de los predicados

Lgica de las clases: trata de las extensiones del sujeto

Lgica de relaciones: teora de las propiedades formales especiales que

convienen a las relaciones entre clases o conjuntos

En la Unidad se trabajarn los siguientes ejes temticos:

I

LOGICA MATEMATICA: Estudiaremos todos los conceptos y simbologa, por

medio de reglas y tcnicas determinar si un argumento es vlido, utilizando estos y
la herramienta de los conectivos lgicos para obtener nuevos argumentos o lo que
llamamos proposiciones.
p: El coche enciende.
q: Tiene gasolina el tanque.
r: Tiene corriente la batera.
La representacin del enunciado anterior usando simbologa lgica es como sigue:
qr

II. VALOR DE VERDAD DE LAS PROPOSICIONES: Una proposicin se considera

una frase, a la cual, se le puede asignar dos valores: o bien es verdadera, o bien es

falsa, pero no ambas cosas. La verdad o falsedad de dicha proposicin se le llama

su valor de verdad, los que aprenderemos a encontrar utilizando todos los
elementos brindados como las tablas de verdad.
La tabla de verdad de q r es como sigue:
q r (q r)
V V

V F

F V

F F

II

RELACIONES Y LEYES LOGICAS: Estudiaremos todas la leyes de la lgica

proposicional o las proposiciones tautolgicas.
La expresin (p ^ q) (p r) es una tautologa

III

INFERENCIA Y DEDUCCION DE LA PROPOSICION LOGICA: Vamos a

observar la relacin interna de las proposiciones y el modo de progresar en el
conocimiento, obteniendo conclusiones a partir de proposiciones ya conocidas.
Es el razonamiento o inferencia. Razonar es un proceso progresivo de la
mente, que va de unas proposiciones ya conocidas llamadas premisas a otra
nueva llamada conclusin.
Dadas las condiciones escritas antes de la raya, qu podemos concluir?
Si llueve hay nubes.
Hay nubes.
------------Si haces la tarea te llevo al cine.
Lo vimos en el cine.
---------------------

Para el desarrollo de los trabajos de la unidad, usted puede apoyarse en los

siguientes documentos elaborados por la profesora, Mat. Diana Marcela Guerrero
Ocampo Contenido conceptual de lgica.pdf

EJERCICIO INVESTIGATIVO INDIVIDUAL

Las siguientes actividades de descubrimiento de la aprehensin del conocimiento

sobre los temas abordados en sta unidad deben desarrollarse paralelamente con
el estudio de los temas tratados; as podr acudir al tutor en caso de dificultades y
realizar la entrega completa y sin vacos conceptuales el da de la socializacin.
Ejercicio investigativo individual.doc
Puede profundizar ms con los siguientes ejercicios:

Ejercicios Complementarios de Logica.pdf

EJERCICIO INVESTIGATIVO GRUPAL

Con el fin de asegurar y fortalecer la apropiacin de los conocimientos
matemticos planteados en el desarrollo de esta UDPROCO, la actividad grupal
debe ser socializada ante el tutor y sus compaeros en el encuentro del saber
disciplinar; tenga en cuenta que puede utilizar diferentes recursos que hagan de
su exposicin un compartir .
Realicen una consulta de la aplicacin que tiene la lgica en las diferentes ramas
de la ciencia y propongan dos ejemplos de aplicacin de los conceptos vistos.

PROCESO DE ACOMPAAMIENTO MEDIADO POR LAS TIC

Apreciado estudiante,
A partir de la Jornada presencial de Induccin, usted inicia el proceso de
autoaprendizaje, que se extiende hasta la fecha de la socializacin. Durante este
perodo, usted cuenta con el acompaamiento virtual del tutor, por tanto, en la
sesin presencial se deben programar y consensuar con el grupo y el tutor las
fechas de los foros y del chat, la forma de acceder a las asesoras virtuales y al
envo de los trabajos investigativos.

CRITERIOS DE EVALUACIN DE TRABAJOS

Analiza la forma como se puede activar estructuras de tipo mental

operacional en los estudiantes de manera clara, concreta, secuencial y
pertinente.

Realiza

operaciones

entre

proposiciones

utilizando

proposiciones

compuestas.

Asume la lgica inherente al ser humano desde sus orgenes hasta

nuestros das.

Establece y explica las reglas de inferencia y su demostracin.

Interpreto enunciados, identificando si es proposicin o no lo es.

Interpreto proposiciones en forma simblica.

Propongo proposiciones simples y compuestas en forma simblica y verbal.

Propongo el uso adecuado de las reglas de inferencia correspondientes a

las leyes lgicas.

EVALUACIN
Es de carcter permanente y valora los desarrollos progresivos que los
estudiantes van evidenciando durante el perodo acadmico. El proceso de la
evaluacin se realizara en tres momentos as:
AUTOEVALUACIN
El fortalecimiento de la autonoma, la responsabilidad individual y el compromiso
con el proceso, se evidenciara en la evaluacin que cada estudiante realice sobre
su progreso a lo largo del desarrollo del componente. El sentido de la
autoevaluacin lo da la reflexin crtica permanente que abarca todos los
momentos de la UDPROCO, con la finalidad de determinar los logros y las
dificultades; la autoevaluacin es una ayuda para que el estudiante logre los
objetivos planteados; por ello, es importante que los estudiantes indiquen sus
aportes con respecto a contenidos, metodologa, logros de aprendizaje, obstculos

cognitivos evidenciados y dems observaciones o sugerencias para el

mejoramiento continuo de los procesos.
COEVALUACIN
Se realizar constantemente una valoracin entre el tutor y los estudiantes del
desarrollo de las unidades de produccin de conocimiento y el progreso en los
procesos de aprendizaje individual y grupal. Se privilegian espacios de
confrontacin con los pares sobre sus propios avances, y los aportes en las
jornadas de induccin, asesora y socializacin.
HETEROEVALUACIN
Es el resultado de las apreciaciones que los tutores hacen de los trabajos
resultantes del desarrollo de las UDPROCO. Son objeto de la heteroevaluacin
los trabajos investigativos personales y grupales, las socializaciones, los
seminarios y los foros o los chat, las sustentaciones personales y otras actividades
que as lo indiquen.
BIBLIOGRAFA

Barco, Carlos (2004) Elementos de Lgica. Manizales: Editorial Universidad de

Caldas.
http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional
http://portales.educared.net/wikiEducared/index.php?title=L
%C3%B3gica_proposicional
http://www.unicrom.com/Tut_circuitoslogicos.asp
http://www.uv.es/ivorra/Libros/Logica.pdf