UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera

Lgica Matemtica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA

Trabajo grupal de calificacin individual No.1

Presentado por:
Hader Alenxer Marin Bejarano - 79747288
Milton Fernando Garcia Sergio Ferley Navarrete Prada - 79730678

Tutora:
Claudia Marcela Diaz Scarpetta

Director de curso
Georffrey Acevedo Gonzlez

Bogota D.C., Colombia Octubre 2011

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

1/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Introduccin
El presente trabajo colaborativo se encuentra dividido en tres fases, en la primera
encontraremos algunos aspectos bsicos en teora de conjuntos, en la segunda aspectos
tales como proposiciones lgicas, conectivos lgicos y tablas de la verdad, conceptos
importantes que nos aportan grandes conocimientos al momento de argumentar o incluso
validar cualquier decisin que tomemos en nuestras vidas, para poder llevar a cabo el
desarrollo de este punto fue importante tener la ayuda de algunos programas que nos dan la
oportunidad de validar la informacin recolectada como lo son los programas para validacin
de tablas de verdad y premisas tales como Truth Table Generator. Por ultimo encontraremos
una pequea resea histrica de la evolucin de la Lgica la cual nos dar la oportunidad de
conocer las motivaciones del ser humano que le condujeron a desarrollar la Lgica.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

2/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Fase 1. Saberes previos para la unidad: Teora de conjuntos

En este punto el equipo debe elegir dos expresiones entre las propuestas individualmente por cada
participante, tal que mediante operaciones entre los conjuntos representen el rea sombreada:

Expresin 1: B - A = B A - B= { }
Expresin 2: A B C
U = A, B, C
A= { }
B= { }
C= { }
B A= { }
A - B= { }
ABC=

Fase 2. Principios de lgica

2.1.
En su aporte individual, cada estudiante debe plantear diez expresiones
relacionadas con su programa de estudio, tal que cinco de las expresiones
correspondan a proposiciones lgicas y cinco expresiones que no puedan ser
clasificadas como proposiciones. De stas expresiones, el equipo debe elegir una de las
propuestas por cada participante:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

3/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Nombre del estudiante

Hader Marin
Hader Marin

Hader Marin

Sergio Navarrete
Sergio Navarrete

Son proposiciones lgicas:

Se hago los ejercicios del
modulo, paso los exmenes.
Si planifico mis labores
entonces puedo hacer los
ejercicios.
Si me esmero en el primer
60% del curso entonces el
examen se me har ms
fcil.
Si realizo mis aportes
colaborare con el trabajo
final de lgica.
Si estudio y aprendo Lgica
aprobare el curso.

No son proposiciones
lgicas

La Lgica Matemtica es la
mejor carrera
Qu es lgica
matemtica?

2.2.
A continuacin se propone identificar los conectivos lgicos y proposiciones
simples presentes en cada expresin, posteriormente plantearn una expresin
equivalente en lenguaje simblico:
Expresin

premisas

La tolerancia es necesaria para

la paz
Ser tolerante es el camino
hacia la paz.
Para aprender matemticas es
necesario ser ordenado y
constante.
Ensea a tus hijos a controlar
sus impulsos y a desarmar su
corazn y tendrn buena vida
en la tierra.

p = La tolerancia es necesaria para

q = La Paz
p = ser tolerante es el camino
q = hacia la paz
p = Para aprender matemticas es necesario
q = ser ordenado
r = constante
p = Ensea a tus hijos
q = a controlar sus impulsos
r = desarmar su corazn
s = tendrn buena vida en la tierra
p = Perseverancia
q = orden
r = amor
s = cualidades de Ana.

Perseverancia, orden y amor

por la tarea son cualidades de
Ana.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Lenguaje
simblico
pq
pq
p (q ^ r)

(p ^ q ^ r) s

(p ^ q ^ r) s

4/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

2.3.
Las tablas de verdad nos permiten conocer el valor de verdad de una proposicin
compuesta para cada valor posible de las proposiciones simples que la conforman. A
continuacin, el equipo debe elaborar la tabla de verdad de las siguientes proposiciones
lgicas, finalmente, deben clasificar la proposicin como tautologa, contradiccin o
contingente de acuerdo al resultado:
La expresin {[(pq)(rs)](pVr)}(qVs) es una Tautologa

p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

r
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

s
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

(pq)(rs)
V
F
V
V
F
F
F
F
V
F
V
V
V
F
V
V

{[(pq)(rs)](pVr)} {[(pq)(rs)](pVr)}(qVs)
V
V
F
V
V
V
V
V
F
V
F
V
F
V
F
V
V
V
F
V
F
V
F
V
V
V
F
V
F
V
F
V

La Expresin [(p>q)&(q>r)]>(p>r) es una Tautologa

p
V
V
V
V
F
F

q
V
V
F
F
V
V

r
V
F
V
F
V
F

[(pq)(qr)
]
[(pq)(qr)](pr)
V
V
F
V
F
V
F
V
V
V
F
V

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

5/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

F
F

F
F

V
F

V
V

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

V
V

6/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

2.4.
A continuacin debes pegar el pantallazo obtenido al usar el siguiente simulador
para verificar el resultado obtenido. Visita el material de apoyo para la primera unidad
para aprender a usarlo.
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

7/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

2.5.
Mediante una tabla de verdad, verifica la equivalencia entre las siguientes dos
proposiciones:

Primera proposicin:

segunda proposicin:

(p v q)

p v q

Por consiguiente No son Equivalentes

2.6.
Si el ganado es Jersey tendr buena leche, el equipo debe plantear las proposiciones
contraria, recproca y contra recproca de esta expresin

Directa

Si el ganado es Jersey tendr buena leche.

Contraria

Si el ganado no es Jersey tendr buena leche.

Recproca

Si tengo Buena Leche el Ganado es Jersey.

Contra recproca Si no tengo buena leche el ganado es Jersey.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

8/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Usando el siguiente diagrama de Venn como fuente de inspiracin, el equipo debe

plantear expresiones contrarias, contradictorias y subcontrarias:

2.7.

Expresin 1
Contrarias

Expresin 2

si no estudio psicoanaltica estoy en

psicologa conductista

Contradictorias Si estudio psicologa conductista

entonces estudio psicoanaltica.
Subcontrarias

Si no estudio psicologa conductista

entonces estudio psicoanaltica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

9/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Fase 3. Reflexin grupal

Es importante reconocer que la lgica tal y como la conocemos hoy en da a sido un proceso
de muchos aos, un proceso prcticamente intrnseco desde el mismo momento en que el
hombre tuvo capacidad de razonar y tomar decisiones, todo nuestro diario vivir esta hecho
de decisiones que involucran el uso de la lgica, es as como la lgica se origino por la
capacidad de interaccin de los seres humanos, esa comunicacin es la que posibilito que el
hombre tuviese la necesidad de argumentar su pensamientos y decisiones.

Al principio este razonamiento se presento cuando el ser humano intent preguntarse sobre
el universo y planteando sus explicaciones, 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 la lgica no se ocupa del contenido de los
pensamientos sino de la manera o forma de los pensamientos 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.
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.
racional; es importante aclarar que.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

10/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

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

los dems, Aristteles, considerado por los griegos.
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.
2

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. 3
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.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

11/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Conclusiones

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

12/13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Referencias

En orden alfabtico de acuerdo con las normas APA (tal y como fue propuesto en el
ejemplo de la gua de la fase de reconocimiento:)
En orden alfabtico y a espacio sencillo as:
Primerapellido, Segundoapellido, Iniciadel nombre (aodepublicacin). Ttulo en cursiva. Universidad.
Pas: Editorial. Si la fuente es de internet adicionas: Recuperado el 20 de agosto de:
http:www.direccinelectrnica.nnn.
Ejemplo:
Autor, (ao). Ttulo. Nombre del sitio. Recuperado el 20 de agosto de
:http:www.direccinelectrnica.com.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

13/13