Anda di halaman 1dari 32

PROTOCOLO

Introduccin
OH dicha de
entender, mayor que
la de imaginar o la de
sentir! Borges.

La teora del
silogismo categrico
es uno de los ms
hermosos
descubrimientos del
espritu
humano Leibniz
Introduccin

Este mdulo est concebido para ser un curso introductorio a la lgica Matemtica.

Antes de dar inicio al desarrollo de los temas del curso, y en general, para toda actividad, es importante que nos
interroguemos por el origen y propsito de dicho conocimiento, Qu problemas busc resolver el hombre mediante dicho
conocimiento? Qu preguntas vamos a contestar con el aprendizaje del curso? Qu competencias se espera que el
estudiante desarrolle? Por qu se consideran importantes estas competencias? Por qu, siendo yo un estudiante de
regencia de farmacia, o un estudiante de ingeniera, o mejor an, un estudiante de psicologa, debo tomar el curso de
Lgica Matemtica?

Entre las competencias que debe tener un estudiante, se destaca su capacidad para construir razonamientos
deductivos e inductivos, tal que le permitan verificar hiptesis as como generar nuevas, una competencia necesaria, no
slo para la investigacin cientfica, sino necesaria para actividades como proponer argumentos vlidos en un ensayo o
para debatir ideas.

Se considera que la lgica matemtica acompaada de las competencias lingsticas permite plantear las mejores
soluciones a diferentes tipos de problemas, al punto que son stas las competencias que son evaluadas por universidades
en todo el mundo para determinar el acceso a programas de educacin superior.

La competencia lgico matemtica no hace referencia exclusiva a operaciones con representaciones simblicas y
ejercicios complejos. En este curso aprenders cmo en nuestro lenguaje cotidiano hacemos uso de los razonamientos
lgicos deductivos e inductivos, siguiendo unas estructuras bsicas que nos permiten afirmar que un razonamiento es o no
vlido.

Ya Platn en la Repblica nos propone que antes del estudio de una ciencia
social como lo es la filosofa era necesaria la preparacin de la mente por medio
del estudio de la geometra euclidiana, en la cual el discpulo deba entrenarse
haciendo demostraciones de teoremas de la geometra, demostraciones que slo
se logran siguiendo una secuencia lgica de pasos ordenados.
Hoy, muchas instituciones educativas exigen a sus aspirantes a
cualquier programa acadmico, presentar pruebas de admisin que pretenden
evaluar las competencias tanto lingsticas como lgico matemticas. Mediante
estas evaluaciones, las instituciones pretenden elegir entre todos sus aspirantes a
aquellos que se encuentren ms preparados para aprender. Esto es para
comprender y elaborar razonamientos lgicos deductivos e inductivos cada vez
ms complejos.
En este sentido, el curso de lgica matemtica es importante para mejorar en la interpretacin y construccin de
razonamientos lgicos presentes tanto en el lenguaje cotidiano como en todas las reas especializadas del conocimiento.
Es por esta razn que el curso de lgica matemtica es un curso transversal a todos los programas acadmicos ofertados
por la Universidad Nacional Abierta y a Distancia UNAD.

Para leer el mdulo slo se requieren conceptos de conjuntos numricos, y operaciones algebraicas bsicas. La
intencin es que el estudiante pueda aprender de este mdulo por s mismo, en este sentido es un texto escrito ms para
los estudiantes que para el tutor.

En el curso de lgica matemtica, analizaremos diferentes operaciones entre conjuntos, tales como unin,
interseccin y complemento, entre otras operaciones, que nos permitirn aclarar la comprensin de las relaciones entre los
conectivos lgicos usados en el lenguaje natural, partiendo para ello de una representacin grfica. A la par desarrollaremos
las destrezas lgico matemticas, dando solucin a problemas como ste:

De acuerdo con una encuesta virtual realizada a cincuenta estudiantes de la UNAD, los amantes de la
msica de Juanes son 15; mientras que los que nicamente gustan de la msica de Shakira son 20, Cuntos
son fanticos de los dos artistas si 10 de los encuestados, entre los 25 que no son fanticos de Shakira, afirman
ser fanticos de Juanes?

Comprenderemos cmo trabajan los conectivos lgicos que usamos diariamente en nuestro leguaje y que pocas
veces nos detenemos a analizar y a comprender, por ejemplo, nuestro amigo Boole afirma que cuando gane su equipo
predilecto har fiesta, pasado un tiempo encontramos que Boole est festejando pero que su equipo predilecto ha
perdido Se est contradiciendo el amigo Boole con su afirmacin inicial?, En este curso descubriremos y analizaremos el
conectivo lgico que ha usado Boole en su afirmacin para concluir sobre este asunto.

Identificar los conectivos lgicos, las premisas y comprender su funcin en el lenguaje nos permitir disear
frases cada vez ms complejas sin que se pierda la coherencia en la construccin gramatical.

Posteriormente aprenderemos a simplificar expresiones complejas o difciles de descifrar usando el lenguaje


natural, para ello utilizaremos leyes expresadas por medio de smbolos. Por ejemplo, al expresar en lenguaje natural que
es falso que Augustus no miente; por medio de la lgica aprendemos a llegar a la simplificacin: Augustus miente,
utilizando leyes lgicas bsicas que nos permiten validar la simplificacin hecha con un argumento ms all de la simple
intuicin.

Gracias al desarrollo informtico un estudiante de psicologa, puede implementar una funcin lgica en una hoja
de clculo como Excel o Calc, que le permita obtener en segundos el resultado de la aplicacin de un Test psicolgico a una
poblacin. En general, gracias a los principios bsicos de la lgica se pueden implementar funciones de aplicacin en todas
las reas del conocimiento.

Otra interesante aplicacin de la lgica es en el proceso de validar nuestros argumentos. Por ejemplo, analicemos
qu puede concluirse de la siguiente afirmacin: si llueve hace fro, posteriormente ocurre que hace fro, es
entonces correcto concluir que llueve?, Por medio de la lgica transformaremos esta expresin en lenguaje simblico que
posteriormente podremos analizar por medio de una tabla de verdad y descubrir en qu caso especfico la conclusin puede
no derivarse de sus premisas.

En el mundo de la argumentacin siempre estamos utilizando unos principios lgicos bsicos que estudiaremos
en el curso de Lgica Matemtica, permitindonos mejorar en la construccin de argumentos ms fuertes, basados en los
cimientos de la lgica.

Buen Viento y Buena mar.


Georffrey
Acevedo
Gonzlez.[1]

[1]Maestro en educacin del Instituto Tecnolgico de Monterrey. Ingeniero electrnico de la Universidad de Antioquia.
Docente Ocasional de la Escuela de Ciencias Bsicas Tecnologas e Ingeniera de la Universidad Nacional Abierta y a

Distancia UNAD- desde 1995.


www.georffrey.com georffrey.acevedo@unad.edu.co georffrey@gmail.com

Justificacin

Un curso de Lgica Matemtica es significativamente importante en la formacin


de cualquier profesional, si se mira desde la ptica de la necesidad de la
apropiacin de una fundamentacin conceptual mnima exigible para fortalecer la
destreza en la formulacin de argumentos e hiptesis que den validez lgica a
nuevas concepciones o actualizaciones cognitivas.
En las formas de comunicacin cotidiana utilizamos expresiones del lenguaje
natural que en el fondo responden a estructuras de inferencia lgica, o por
induccin o por deduccin y que en la medida que se comprenda este proceso de
pensamiento complejo se mejoran obviamente los procesos de interaccin
comunicativa y de resignificacin cognitiva.
Desafortunadamente los campos de formacin de tinte matemtico generan
situaciones conflictivas y traumticas en el estudiante por los resultados
adversosque en ocasiones genera. En este sentido, la Lgica Matemtica abre
un excelente espacio de reflexin y expectativa para modificar esa concepcin y
generar una actitud diferente.
El curso de
Lgica
Matemtica es desde su estructura un curso
de fundamentacin terica, que intenta generar en el estudiante competencias
comunicativas y cognitivas a travs del desarrollo de habilidades de
pensamiento, como: anlisis, sntesis, comparacin, abstraccin, etc.; aspectos
fundamentales para un ptimo desempeo en lo acadmico, disciplinar y
profesional.
La pertinencia de las temticas que se abordan en las unidades didcticas del
curso acadmico de Lgica Matemtica con los diferentes campos del saber
debe generar una dinmica acadmica interesante en el estudiante que lo lleve
a desplegar toda su capacidad interpretativa de contextos para encontrar el sentido,
fundamento y trascendencia del saber que se imparte para su formacin integral.
La metodologa del curso busca mantener una dinmica permanente de
interactividad a travs de medios y mediaciones que faciliten procesos de
aprendizaje significativo en el estudiante y fundamentalmente sta se apoya en el
trabajo acadmico de estudio independiente y de acompaamiento tutorial. En cada
una de ellas se facilitan los procesos de aprendizaje considerando que stos se
dinamizan estratgicamente desde las fases de reconocimiento, profundizacin y
transferencia.

Y como todo proceso debe ser evaluado, ste se dinamiza desde la visin
institucional de la cual contempla eventos de autoevaluacin, coevaluacin y
heteroevaluacin.
Toda esta serie de aspectos antes sealados son motivo de expectativa para generar una nueva visin frente al logro de
competencias en aptitud matemtica.

Intencionalidades formativas

A continuacin se prenentan las Intencionalidades Formativas comprendidas en:

Proposiciones

Objetivos

Metas

Competencias

Propositos

Contribuir al desarrollo de habilidades de pensamiento en estudiantes de diferentes programas que oferta la


UNAD mediante la activacin cognitiva de operaciones mentales que faciliten la apropiacin de nociones,
definiciones, axiomas y leyes que constituyen fundamentos bsicos en teora de conjuntos.

Desarrollar en el estudiante habilidades de comunicacin en contextos diversos mediante la articulacin de


lenguajes icnicos, simblicos o artificiales como el de la lgica proposicional para dinamizar procesos de
aprendizaje en diferentes campos del saber.

Aportar elementos significativos que contribuyan a desarrollar en el estudiante la habilidad para argumentar,
razonar o formular generalizaciones por induccin o deduccin a travs de la interpretacin de los fundamentos
estructurales que caracterizan a tales mtodos de inferencia lgica.

Despertar en el estudiante especial inters por reflexionar e investigar desde los diferentes contextos disciplinares
la identificacin de sistemas axiomticos mediante el estudio y anlisis riguroso sobre los componentes
estructurales que los componen.

Objetivos
Objetivos

* Que el estudiante comprenda nociones, conceptos, definiciones y operaciones bsicas que configuran la
fundamentacin terica sobre conjuntos mediante el estudio y anlisis de las fuentes documentales propuestas
articuladas a situaciones especficas donde es pertinente su aplicacin.

* Que el estudiante relacione expresiones del lenguaje simblico y del lenguaje natural mediante anlisis
comparativo e interpretacin de la funcionalidad de las variables lgicas y operacionabiliadad de los conectivos
lgicos como elementos estructurales de la lgica proposicional transcribibles a otras formas de comunicacin
en diferentes contextos del saber.

* Que el estudiante interprete la fundamentacin terica que soporta los mtodos de inferencia lgica por
deduccin e induccin a travs del estudio, anlisis, aplicacin y ejercitacin de los axiomas y leyes de
inferencia lgica en la formulacin y demostracin de razonamientos vlidos.

Metas

El estudiante presentar y sustentar un informe personal de trabajo como resultado del estudio y anlisis de los
fundamentos de la teora de conjuntos, en donde evidencie la utilizacin de nociones, conceptos, definiciones y
operaciones bsicas en el anlisis de situaciones especficas por l definidas.

El estudiante plantear y formular expresiones lgicas en lenguaje natural y lenguaje simblico como evidencia
del anlisis comparativo e interpretativo de la funcin que cumplen variables y conectores lgicos como
elementos estructurales de las expresiones lgicas en el estudio de situaciones particulares propuestas para tal
fin.

El estudiante presentar una propuesta amplia de razonamientos y demostraciones como resultado del estudio,
anlisis y ejercitacin en la interpretacin y aplicacin de los axiomas y leyes de inferencia lgica en los diferentes
contextos disciplinares de formacin.

Competencias

El estudiante comprende y aplica de manera suficiente nociones, conceptos, definiciones, axiomas y leyes que
fundamentan la teora general de conjuntos en el estudio y anlisis de las fuentes documentales referenciadas
para dinamizar el proceso de aprendizaje y en situaciones especficas donde es pertinente su aplicabilidad.

El estudiante relaciona e interpreta expresiones del lenguaje simblico y del lenguajenatural en la formulacin y
representacin de estructuras semnticas lgicas en trminos de variables y conectores lgicos como elementos
estructurales de la lgica proposicional articulables a diferentes formas de comunicacin en diversos contextos.

El estudiante interpreta e identifica en forma clara la estructura y fundamento conceptual que tipifica los mtodos
de inferencia lgica por induccin y deduccin en formulaciones y demostraciones de razonamientos vlidos en
situaciones especficas derivadas del estudio de contextos donde es pertinente su aplicabilidad.

Unidades didcticas

Unidad 1 Principios de Lgica


Captulo 1 Introduccin a la lgica
Leccin No.1 Introduccin a la lgica
Leccin No. 2 Proposiciones
Leccin No. 3 Conectivos lgicos fundamentales
Leccin No. 4 Condicional y Bicondicional
Leccin No. 5 Tablas de verdad

Captulo 2 Tautologa
Leccin No. 6 Tautologa
Leccin No. 7 Proposiciones equivalentes
Leccin No. 8 Tautologa trivial y doble negacin
Leccin No. 9 Implicacin directa, contraria, recproca y contrarrecproca
Leccin No. 10 Leyes de la lgica

Captulo 3 Cuantificadores y proposiciones categricas


Leccin No. 11 Cuantificadores
Leccin No. 12 Proposiciones categricas
Leccin No. 13 Representacin de las proposiciones categricas
Leccin No. 14 Clasificacin de las proposiciones categricas
Leccin No. 15 Proposiciones contrarias, de contingencia y subcontrarias

Unidad 2 Razonamientos lgicos


Captulo 4 Razonamientos lgicos
Leccin No. 16 Razonamiento lgico
Leccin No. 17 El mtodo cientfico
Leccin No. 18 Silogismos categricos
Leccin No. 19 Validez de un argumento
Leccin No. 20 Prueba formal de validez

Captulo 5 Inferencias Lgicas


Leccin No. 21 Inferencia lgica
Leccin No. 22 Leyes de inferencia
Leccin No. 23 Aplicacin de las leyes de inferencia
Leccin No. 24 Demostracin directa e indirecta
Leccin No. 25 La refutacin

Captulo 6 Argumentos Inductivos


Leccin No. 26 Argumento Inductivo
Leccin No. 27 El problema de la induccin
Leccin No. 28 La analoga
Leccin No. 29 La fuerza de los argumentos
Leccin No. 30 Analoga refutadora

Contexto terico
En todo acto pedaggico intervienen cinco componentes: el que ensea, el que aprende, el sistema de comunicacin, el
contenido de lo que va ser enseado y el bagaje cultural y acadmico del estudiante. En el diseo de este curso se tuvieron
en cuenta las experiencias que promueven la articulacin de los anteriores elementos; por eso en su estructura se
encuentran:
Actividades previas: corresponden a las actividades en las cuales se identifican los propsitos del curso, sus
intencionalidades y se presenta el desarrollo del curso.
Puede desarrollarse de manera individual a travs del estudio del protocolo del curso o a travs de actividades grupales
propuestas.
Actividades de ejecucin: se llevan a cabo por medio de diversas actividades con el fin de alcanzar los propsitos de
formacin. Se dan a travs de:
Estudio independiente, desarrollado por el estudiante, a travs de:
- Estudio del material sugerido por la UNAD.
- Consulta de fuentes documentales ( bibliografa de documentos impresos en papel: libros y revistas; bibliografa de
documentos situados en Internet; direcciones de sitios Web de informacin especializada, bibliotecas y hemerotecas
virtuales, etc. )
Trabajo en grupo: desarrolladas por estudiantes a travs de pequeos grupos colaborativos, con el propsito de:
- Crear grupos de estudio o discusin, para resolver dudas y preparar consultas estructuradas al tutor.
Consultas al tutor: teniendo en cuenta las inquietudes, el tutor estar dispuesto a resolver dichas consultas. Se puede
realizar a travs de:
- Tutora: Sesiones formativas cuya finalidad es asesorar a los estudiantes en los puntos crticos del curso. Se puede
realizar de forma individual, en pequeos grupos o en grupo de clase.
- Medios tecnolgicos: a travs de herramientas como correo electrnico, salas de conversacin, foros, etc.
Actividades de evaluacin: permiten identificar los logros alcanzados en cada una de las unidades didcticas, establecer las
dificultades en el aprendizaje y afianzar los conocimientos adquiridos.
Lea cuidadosamente la programacin y organizacin de dichas actividades dentro del curso. Esto le brindar la oportunidad
de desarrollar un proceso de aprendizaje evidenciado en sus fases de reconocimiento, profundizacin y transferencia.
Al poner en operacin estas fases, propias del proceso de aprendizaje, cada uno de los participantes del curso tiene la
oportunidad de materializar su propio proyecto de aprendizaje, esto es, su propio proceso de descubrimiento que por su
misma naturaleza, es individual y que se reafirma desde la cooperacin de cada uno de los compaeros de pequeo y gran
grupo.

Sistema de evaluacin
La evaluacin es uno de los procesos de aprendizaje ms complejos de
realizar, por el carcter de subjetividad que en l se da. De acuerdo con los
lineamientosinstitucionales de la UNAD, este proceso tiene tres momentos que
definen como: Autoevaluacin, coevaluacin y heteroevaluacin.

se

AUTOEVALUACIN
Esta etapa del proceso es llevada a cabo por el estudiante quien se encarga de
determinar el logro de las intencionalidades y propsitos previamente definidos,
las dificultades de aprendizaje, los avances significativos, los estados de animo
que lo han acompaado, los aportes al pequeo grupo de aprendizaje
colaborativo, el cumplimiento a cabalidad de las actividades solicitadas, la
participacin activa en los eventos formativos, la asistencia cumplida y puntual
a loseventos, el cumplimiento de los tiempos programados, el fortalecimiento de la
formacin en valores, etc.
Toda esta informacin recogida y registrada por el estudiante en su portafolio
de actividades (instrumento donde se recopilan, organizan y consignan los
productos del proceso de aprendizaje), es de fundamental importancia para
enriquecer el proceso formativo mediante la ejecucin de acciones de
autorregulacinen aras de alcanzar sus propsitos e intencionalidades.
COEVALUACIN
Esta etapa del proceso evaluativo se cumple al interior del pequeo grupo
colaborativo y tiene como propsito valorar tanto productos como procesos de
aprendizaje en mutua reciprocidad entre integrantes del pequeo grupo.
En la dinmica de autogestin del proceso de aprendizaje y generacin de
autonoma en el estudiante, se desarrollan, elaboran o construyen productos
queevidencian el cumplimiento del proceso formativo como resmenes,
informes de actividades, mapas conceptuales, ensayos, resolucin de talleres,
tareas deinvestigacin, etc., que deben ser evaluados para dimensionar la
efectividad del proceso formativo mediante la aplicacin de criterios previamente
definidos frente a su respectivo nivel de ponderacin o cumplimiento.
Los resultados e instrumentos de valoracin deben ser archivados en el
portafolio con el propsito de asumir los correctivos pertinentes con el
mejoramiento delproceso formativo o fortalecerlo si es el caso.
HETEROEVALUACIN
Este proceso est institucionalizado en dos componentes. Uno, corresponde a
una prueba de carcter nacional preparada por el docente titular del curso,

denominada Evaluacin Nacional y con una ponderacin del 40% sobre la nota
definitiva del curso. El otro componente, lo realiza el tutor a cargo del cursoen
los diferentes centros zonales a travs de evaluaciones parciales, pruebas
cortas, talleres, informes, trabajos, portafolio, etc., y corresponde al restante
60% del valor de la nota definitiva. Es importante para este ltimo porcentaje
tener en cuenta las fases del aprendizaje antes mencionadas, asignndole a
cada una de ellas una ponderacin que puede ser distribuida de la siguiente
manera: Para la fase de reconocimiento 10%, para la fase deprofundizacin 30% y para la fase de transferencia 20%.

Material didctico
Introduccin general del curso
Hemos escuchado hablar de la Lgica tradicional y de la lgica Moderna, profundicemos en las diferencias:
La lgica tradicional hace referencia a la lgica de Aristteles, quien formula las teoras del razonamiento y de la
demostracin; es decir, que formula la teora de la deduccin. De esta manera, Aristteles nos lleva a comprender la lgica
formal como la base de la filosofa.
Por otro lado, la lgica moderna constituye la que denominamos Lgica Matemtica, esta lgica fue estructurada,
principalmente por Bertrand Russell y Alfred North. Es aqu cuando nos referimos a una lgica que utiliza smbolos; de all
que la denominemos lgica de lenguaje formalizado o simblico.
Qu nos aportan los smbolos?
Al introducir un smbolo eliminamos la ambigedad que introduce el lenguaje natural, es decir, el lenguaje ordinario o
coloquial.
Esta simplificacin simblica permite que podamos lograr dos cosas:
1. Mayor complejidad
2. Mayor exactitud
Por ejemplo:
En lenguaje ordinario podramos expresar: "es falso que es mentira que Diego miente" lo que equivale a afirmar que "Diego
miente". Esta expresin algo compleja en el lenguaje natural es transformada en el lenguaje simblico por la expresin:
no ( no (no p)) en donde p = Diego dice la verdad y no p = Diego miente
Muy seguramente te han surgido dos grandes interrogantes:
1. Es esta una conclusin vlida?
2. Bajo que principios o leyes podemos llegar a esta conclusin?
Muy bien, estas constituyen dos grandes preguntas a que busca dar respuesta la lgica y para lograrlo la lgica debe
estudiar:
1. Las estructuras que conforman el pensamiento
2. Las leyes y los principios que conducen a conclusiones vlidas
Cuan til es este conocimiento?
Si hoy es viernes, entonces, maana es Sbado. Maana no es Sbado, luego hoy no es viernes; es un ejemplo de un
razonamiento que hace parte de la vida diaria, es decir, que no se reduce al mundo de la ciencia. De igual manera, aunque
la lgica es un gran instrumento para las ciencias, lo es tambin para nuestra propia vida.
Es as como llegamos a unas hermosas conclusiones de nuestro amigo Gustavo Escobar Valencia:
"La lgica nos permite descubrir las leyes y los principios que permiten conducirnos con rigor, precisin y verdad hacia el
conocimiento"
"La lgica nos proporciona normas para la investigacin cientfica y nos suministra un criterio de verdad"
Es as como la lgica se ocupa de las formas del pensamiento y no del contenido de los pensamientos ni de la gramtica
que expresa los pensamientos, ni de los contenidos especficos de esos pensamientos ni del sujeto que genera los
pensamientos.

Unidad 1 (Principios de Lgica)


Objetivos

Que el estudiante comprenda nociones, conceptos, definiciones y


operaciones bsicas que configuran la fundamentacin terica sobre

conjuntos mediante el estudio y anlisis de las fuentes documentales


propuestas articuladas a situaciones especficas donde es pertinente
su aplicacin.

Que el estudiante relacione expresiones del lenguaje simblico y del


lenguaje natural mediante anlisis comparativo e interpretacin de la
funcionalidad de las variables lgicas y operacionabiliadad de los
conectivos lgicos como elementos estructurales de la lgica
proposicional transcribibles a otras formas de comunicacin en
diferentes contextos del saber.

Capitulo 1 - Introduccin a la lgica


Objetivos

Objetivo general
El propsito de este captulo es brindar al estudiante algunos elementos del desarrollo histrico de
la lgica matemtica y su correspondiente clasificacin. As como de brindar las herramientas
para identificar y construir proposiciones lgicas.

Objetivos especficos
Realizar la clasificacin de la lgica
Reconocer el propsito de la lgica
Determinar la diferencia entre lenguaje natural y artificial
Analizar los componentes del proceso semitico
Distinguir las reas de la semitica
Identificar y construir proposiciones lgicas simples y compuestas
Construir tablas de verdad

Contexto Histrico de la Lgica


Concete a ti mismo ("gnosei seauton") es la frase que apareca en el santuario
del Dios Olmpico Apolo y que se atribuye a Tales de Mileto (639 a.c), quien es
considerado como el primer representante de la filosofa occidental: tanto as
como para reconocrsele como el iniciador de la indagacin racional sobre el
universo, a Tales de Mileto se atribuye plantear explicaciones de la naturaleza sin
hacer referencia a lo sobrenatural.

Es as, como los precursores de la filosofa, llamados los presocrticos,


representaron una innovacin en el pensamiento, al tratar de explicar las cosas
por si mismas.

En el perodo Socrtico, los filsofos pasarn de preocuparse por los temas de la


naturaleza a ocuparse en el hombre. En este perodo aparecen los sofistas,
quienes profundizan en el arte de discutir, a ellos debemos lo que en la lgica se
denomina un sofisma, argumentos que parecen vlidos pero que realmente no lo
son.

Originalmente logos significa palabra o discurso, por lo que en un principio se


defini la lgica como la rama de la gramtica que se ocupaba de ciertas formas
de lenguaje.

Como la palabra es la expresin, o manifestacin del pensamiento y el


pensamiento racional es la base de la filosofa, puede decirse en general, que la
lgica es la ciencia del pensamiento racional; es importante aclarar que la lgica
no se ocupa del contenido de los pensamientos sino de la manera o forma de los
pensamientos.

En respuesta a la necesidad de construir argumentos, para defender o refutar


pensamientos de los dems, Aristteles, considerado por los griegos El padre
de la lgica, creo mtodos sistemticos para analizar y evaluar dichos
argumentos, para lo cual desarroll la lgica proposicional estableciendo
procedimientos para determinar la verdad o falsedad de proposiciones
compuestas.

El gran matemtico Gottfried Leibniz en 1646 fue el primero en intentar reformar


la lgica clsica, planteando que la dependencia lgica entre proposiciones es
demostrada reduciendo argumentos complejos en simples, para lo cual propuso
representar el conocimiento en una forma que pudiera ser usado por un
razonamiento mecnico y a ste esquema (lgica simblica) lo llam
una caracterstica universal.[1]
El proceso de la lgica continu en el siglo XIX. En 1847 el matemtico
ingls George Boole en compaa de Augustus de Morgan hizo notar el
parentesco entre las operaciones lgicas con las matemticas, pues a partir de los
operadores aritmticos de adicin, multiplicacin y sustraccin crearon los
operadores lgicos equivalentes de unin, interseccin y negacin; adems
formularon los principios del razonamiento simblico y el anlisis
lgico. A Boole se le atribuye la invencin de las tablas de verdad para
comprobar la veracidad de proposiciones compuestas. [2]

Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910 en
su obra Principio Matemtico, quienes codificaron la lgica simblica en su
presente
forma
definindola
como
la
Ciencia
de
todas
las
operaciones conceptuales posibles, por esta razn la fundacin de la lgica
formal moderna se le atribuye a ellos. [3]

[1] Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe
de Bogot. D.C. 1999

[2],4,5 Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa
Fe de Bogot. D.C. 1999

Clasificacin de la lgica
La lgica se puede clasificar como lgica tradicional o no formal y lgica simblica
o formal:

1. Lgica tradicional o no formal.


2. Lgica simblica o formal.

En la lgica no formal o lgica tradicional se considera la destreza para interpretar


y distinguir un razonamiento correcto de un razonamiento incorrecto como un
producto de la experiencia humana obtenida en la relacin con el mundo
circundante. En palabras de Galindo (1999), se consideran los procesos
psicobiolgicos del pensamiento lgico.

La lgica como ciencia constituye la lgica formal o simblica, la cual se encarga


de investigar, desarrollar y establecer los principios fundamentales que siguen la
validez de la inferencia; es considerada como uno de los sistemas mediante el
cual se llega a formas puras y rigurosas. [1]

En el pensamiento simblico, las palabras se manipulan, segn las reglas


establecidas, como si fueran simples signos sin preocuparse por su sentido.

De all, que afirmemos que la lgica se ocupa de la forma de los pensamientos y


no de su contenido.

Propsito de la lgica
La lgica ofrece mtodos que ensean cmo formar proposiciones, evaluar sus valores de verdad y
determinar si unas conclusiones se pueden deducir correctamente a partir de proposiciones supuestas;
adems, la lgica es una ciencia que se interesa por las relaciones existentes entre las proposiciones, con el
fin de obtener precisin, claridad y generalidad en los razonamientos.

La precisin la logra mediante el uso de smbolos, los cuales tienen como funcin primordial eliminar las
ambigedades que la estructura del lenguaje ordinario no puede evitar con facilidad.

La claridad y generalidad, la consigue en la medida en que el usuario se familiariza con los elementos
bsicos de un argumento lgico, tanto en su representacin simblica como en su significado para luego
establecer un lenguaje simblico artificial, que le permita simplificar argumentos lgicos complicados; de esta
manera, el smbolo permite concentracin sobre lo esencial de un contexto dado, incrementando la fiabilidad
con que se aplica el conocimiento. [1]

Leccion 2 - Proposiciones
La proposicin lgica constituye el elemento fundamental de la lgica.

Una proposicin lgica es un enunciado lingstico que debe cumplir con la


condicin de ser susceptible de poder ser verdadero o falso.

Por ejemplo:
La temperatura ambiente es mayor de 20 grados es un enunciado que
puede ser Verdadero o Falso.

La proposicin puede ser verdadera o falsa en un momento dado, decimos


entonces que, el valor de verdad de una proposicin lgica es, por definicin,
verdadero o falso, y es representado por las letras V o F.

El valor de verdad de la proposicin de acuerdo a la relacin de su contenido con


la realidad no es el objeto de estudio de la lgica. Es por esta razn que se afirme
que la lgica habla de lo posible, pero no de lo real. De esta manera, dada la
proposicin hace fro, independiente de las creencias de cualquiera o de la
realidad de que est o no haciendo fro, independiente del lenguaje o de la forma
lingstica usada como la temperatura est baja, la lgica slo se ocupa de la
posibilidad de ser verdadero o falso de la proposicin.

De all que se suela afirmar que la verdad lgica es una verdad formal, que no
tiene contenido.

Observemos que las proposiciones se dan mediante un enunciado lingstico,


generalmente en la forma gramatical de oracin enunciativa:

Recordemos que la oracin enunciativa se corresponde con los actos de habla


declarativos, los cuales comunican sin ms, un hecho: Juan es Colombiano.
Estas expresiones contienen un sujeto perfectamente definido o dado por el
contexto, un predicado y una conjugacin del verbo ser, observemos algunos
ejemplos:

Ejemplos:
Hoy es sbado
Soy estudiante de psicologa
New York es llamada la capital del mundo

De esta manera, podemos afirmar que la lgica se ocupa de las proposiciones.


Ms adelante, estudiaremos reglas que permiten la transformacin de unas
expresiones en otras equivalentes, y veremos cmo, de acuerdo a estas reglas o
leyes lgicas, a partir del valor de verdad de una o varias proposiciones logramos
inferir la verdad o falsedad de otras proposiciones.

Proposiciones
La lgica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin toma como elemento bsico de anlisis a la
proposicin, que no es otra cosa que una oracin del lenguaje cotidiano con un significado mucho ms limitado; en tales
condiciones, se puede considerar una proposicin como una excepcin lingstica que tiene la propiedad de ser verdadera
o falsa.
Es importante tener en cuenta que las proposiciones representan oraciones declarativas, las cuales contienen un sujeto
perfectamente definido o dado por el contexto, un predicado y una conjugacin del verbo ser.
Para simplificar la escritura de argumentos lgicos complicados; crea un lenguaje simblico artificial, en donde establece un
conjunto de reglas claras, bien definidas y que no presentan las ambigedades ni vaguedades del lenguaje corriente.

Clasificacin de las proposiciones


En lgica se consideran y se simbolizan dos clases de proposiciones: atmicas o simples y moleculares o compuestas:
Una proposicin con sentido compleo cuyo valor es falso o verdadero, se denomina proposicin simple.

Ejemplos - proposiciones atmicas


Ejemplos de proposiciones atmicas:

"1 + 4 = 5" es una proposicin Verdadera (V)


"3 es un nmero par" es una proposicin Falsa (F)
"S.F de Bogot es la capital de Colombia" es una proposicin Verdadera (V)

Proposiciones compuestas
Si se unen dos o ms proposiciones simples, mediante trminos de entlace tales como no, y, o , Si...entonces, si y slo si,
se forman las proposiciones compuestas; el valor de verdad de dichas proposiciones es verdadero o falso, dependiendo
slo de los valores de verdad de las proposiciones simples que las conforman.

Ejemplos - Proposiciones compuestas


Ejemplos de proposiciones compuestas:

4 es un cuadrado perfecto y 5 es un nmero primo


Si un tringulo es issceles, entonces es equiltero
Quieres gaseosa o helado

Ejemplos - No son proposiciones


Veamos algunos ejemplos de oraciones que no son proposiciones porque no se les puede asignar
un valor de verdad

"El tringulo es menor que el crculo


... esta oracin no esproposicin, pues no especifica el criterio de comparacin (rea,
permetro, etc), entre las figuras geomtricas.

x+5=8
..Aqu, x es una varialge independiente, por lo tanto puede tomar cualquier valor. Esta
condicin no nos permite determinar el valor de la expresin matemtica.

Razonamiento
Razonar es un proceso por el cual se establece una conclusin basada en una o ms proposiciones supuestas o
aceptadas, llamadas premisas, las cuales constituyen el punto de partida del proceso.
Si la conclusin es correcta significa que las premisas contienen la informacin necesaria y suficiente para establecer la
conclusin y por lo tanto se puede afirmar que el razonamiento es correcto, de lo contrario, se dir que es incorrecto.
Todos los seres humanos tenemos la capacidad del raciocinio; una operacin del pensamiento, la ms elevada, en la cual
se enlazan ideas y fluyen otras, permitiendo as la comunicacin con el exterior.
Se ha dicho que la lgica es la ciencia que estudia la estructura o forma del pensamiento, por lo cual no es difcil
comprender que hay varias formas de pensamientos, ms an, existen varias formas de razonar.
En la unidad 2 estudiaremos algunos tipos de razonamiento.

Leccin3 - Conectivos Lgicos Fundamentales

Conjuncin: ^
Sean p y q dos proposiciones simples. La proposicin compuesta p y q simbolizada por p ^ q, se denomina la conjuncin
de p y
La disyuncin v
Sean p y q dos proposiciones simples. La proposicin p o q, simbolizada p v q se llama disyuncin de p y q.
La negacin ~
Sea p una proposicin simple. Se define la negacin de p mediante la proposicin compuesta no p simbolizada por: ~ p
o por

Leccin 4 - Condicional y Bicondicional


El condicional -->
Se dice que una proposicin compuesta es condicional, si est formada por dos
proposiciones simples enlazadas por la expresin sientonces.
Si p y q representan dos proposiciones, la expresin si p entonces q se simboliza as:
y se lee p implica q.
La proposicin precedida por la expresin si, se llama antecedente o hiptesis y la
proposicin precedida por la expresin entonces, se llamaconsecuente o
conclusin de la implicacin. En la expresin , el antecedente es p y el consecuente
es q.
Las proposiciones condicionales se pueden enunciar en nuestro lenguaje natural de
diferentes maneras, algunas son:

Si p entonces q
p slo si q
q si p
p es suficiente para q
q es necesaria para p

El bicondicional <-->

Se denomina bicondicional a la proposicin formada por dos proposiciones simples


conectadas por la expresin s y slo s.
Simblicamente si p y q son proposiciones simples, la doble implicacin constituye un
bicondicional, donde p recibe el nombre de primer miembro y qsegundo miembro.
El bicondicional est formado por las implicaciones y , las cuales deben tener el mismo
valor de verdad para formar una equivalencia entre p y q; en consecuencia, se dice que la
proposicin p es equivalente a la proposicin q y se acostumbra a escribir .
La proposicin bicondicional tiene varias formas de traduccin ms no de significacin, veamos:

p s y slo si q
q s y slo si p
si p entonces q y recprocamente
si q entonces q y recprocamente
p es una condicin necesaria y suficiente para q
q es una condicin necesaria y suficiente para p

Leccin 5 - Tablas de Verdad

Tablas de Verdad
Una tabla de verdad es una representacin esquemtica de las relaciones entre proposiciones; sirve para determinar los
valores de verdad de proposiciones compuestas, las cuales dependen de los conectivos utilizados y de los valores de
verdad de sus proposiciones simples.

En la elaboracin de una tabla de verdad los trminos de enlace tales como la


negacin
( ~ ), la disyuncin ( v ) y la conjuncin ( ^ ) se consideran conectivos
fundamentales; por tal razn, sus valores de verdad constituyen la base para
establecer bajo qu condiciones una proposicin compuesta es verdadera o falsa.
Como lo aprendimos en las lecciones anteriores, la siguiente tabla resume los valores de verdad de los conectivos lgicos:

Capitulo 2 - Tautologa
Objetivos

Objetivo general
El propsito de este captulo es brindar al estudiante elementos para la clasificacin de una
proposicin como tautolgica.

Objetivos especficos
Identificar tautologas
Determinar si dos proposiciones son equivalentes

Dada una proposicin identificar la proposicin contraria, recproca y contrarrecproca

Diferenciar y aplicar las leyes del algebra de proposiciones

Leccin 6 - Tautologa
Entre las proposiciones compuestas existen unas muy importantes por ser
siempre verdaderas independientemente del valor de verdad de las proposiciones
que la conforman; este tipo de proposiciones reciben el nombre de tautologas.

En otras palabras, se dice que una tautologa es una funcin lgica que es
verdadera para todas las combinaciones posibles de los valores de verdad de sus
premisas.

Leccin 7 - Proposiiones Equivalentes


Las tautologas permiten estructurar mtodos de demostracin que son ampliamente
utilizados en el campo de la lgica. De ah la importancia de familiarizarse con el
simbolismo manejado y su correspondiente aplicacin.

Dos proposiciones compuestas se consideran lgicamente equivalentes, si tienen los


mismos valores de verdad para cada caso en su tabla de verdad.

Leccin 8 -Tautologa trivial y doble negacin

Esta tautologa establece que cualquier proposicin es equivalente a s misma.

p <---> p

Cualquier proposicin es equivalente a s misma.


La doble negacin de una proposicin es la misma proposicin.

Leccin 9 - Implicacin directa, contraria, recproca y contrarrecproca

Leccin 10 - Leyes de la lgica

Captulo 3 Cuantificadores y proposiciones categricas


Objetivos

Objetivo general
El propsito de este captulo es brindar al estudiante elementos para usar los
cuantificadores universal y existencial en la construccin y representacin de proposiciones
categricas, elementos fundamentales en la construccin de silogismos categricos.

Objetivos especficos

Identificar y clasificar las proposiciones categricas de un argumento

Diferenciar la cualidad y cantidad de una proposicin categrica en forma estndar

Establecer el tipo de oposicin que se puede presentar entre dos proposiciones categricas

Representar grficamente proposiciones categricas de forma estndar