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

Presenta
Carmen Cecilia Arango Cifuentes. C.C. 51678458
Myriam Lpez. C.C. 51.631.879
Jeaneth Consuelo Otlora Parra. C.C. 51.662.201
Yaneth Rubio Pinilla. C.C. 51587040

Tutor

Piedad Carolina Nez

Director de curso
Georffrey Acevedo Gonzlez

BOGOTA, 25 DE ABRIL DE 2012

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

INTRODUCCIN

El presente trabajo pretende ser un aporte al lector que quiera encontrarse con una sntesis
de algunos aspectos importantes dentro del estudio de LA LGICA MATEMTICA y as
conocer un poco ms de ella como ciencia formal y como parte de cada uno de los currculos
de nuestra universidad.
Vale la pena recordar que uno de los aportes ms valiosos y originales de la lgica
matemtica, es precisamente los aportes que esta ha hecho en el transcurso de la historia,
al desarrollo del pensamiento, mediante el manejo de proposiciones con conectivos lgicos,
condicionales y bicondicionales, tablas de verdad, tautologa, implicaciones,
representaciones categricas, proposiciones contrarias, de contingencia y subcontrarias, que
contribuyen a la perfeccin del razonamiento y al afianzamiento de la construccin de
argumentos vlidos, claros y coherentes.
El desarrollo del trabajo nos permite ver cmo cada persona tiene un estilo, una forma de ver
las cosas, incluso de representarlas, a pesar de que existan leyes que indican con claridad
cul debe ser un procedimiento, un proceso. Por lo tanto, el presente trabajo contar con el
desarrollo de los siguientes aspectos:

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

Fase 2. Principios de lgica.

Fase 3. Reflexin grupal.

Conclusiones

Bibliografa

Muchas Gracias

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

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

1.1. Haciendo uso de los diagramas de Venn, plantea una propuesta para representar
el rea sombreada para la expresin: Juan matricul lgebra o Lgica pero no
Competencias Comunicativas.

P Q

1.2. Haga uso de la representacin simblica de las operaciones entre conjuntos, para
representar el rea sombreada en el diagrama del numeral anterior

P= Juan matricul lgebra

Q= Juan matricul lgica

R= Juan no matricul competencias comunicativas

(P V Q) R

(P U Q) R= (PV Q) R

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

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:

Nombre del estudiante Son proposiciones No son proposiciones

lgicas: lgicas
CARMEN CECILIA La filosofa es una Yo pienso
ARANGO C ciencia y a la vez una
carrera humanstica
MYRIAM LPEZ En la lgica matemtica Que bonito esta el
CASTAEDA se utilizan las tablas de trabajo!
verdad.
JEANETH OTLORA Todos los estudiantes Esto es una verdadera
PARRA del curso estn proposicin?
desarrollando
competencias para
expresar razonamientos
lgicos en lenguaje
simblico.
YANETH RUBIO PINILLA La psicologa es la Viva la psicologa!
ciencia del
comportamiento y del
estudio de la mente

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
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 Lenguaje simblico

Si hay tolerancia, entonces p = hay tolerancia
hay paz q = hay paz pq
Para aprender p=soy ordenado
matemticas es necesario q=soy constante (p q) r
ser ordenado y constante. r= aprendo matemticas
Dos condiciones son p= tus hijos controlan
necesarias y suficientes sus impulsos
para que tus hijos tengan q= tus hijos desarman el (p q) r
buena vida sobre la tierra: corazn
ensales a controlar sus r=tus hijos tiene buena
impulsos y a desarmar su vida sobre la tierra
corazn.
Ana tiene perseverancia, p = Ana tiene
orden y amor por la tarea. perseverancia por la
tarea pqr
q= Ana tiene orden por
la tarea
r= Ana tiene amor por su
tarea

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

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

p q q p r q s
p q r s q
[(p v q) q] (p r) (q v s)
pvq (p v q) q p r [(p v q) q] (p r) q vs

V V V V F V F V F V V

V V V F F V F V F V V

V V F V F V F F F V V

V V F F F V F F F V V

V F V V V V V V V V V

V F V F V V V V V F F

V F F V V V V F F V V

V F F F V V V F F F V

F V V V F V F F F V V

F V V F F V F F F V V

F V F V F V F F F V V

F V F F F V F F F V V

F F V V V F F F F V V

F F V F V F F F F F V

F F F V V F F F F V V

F F F F V F F F F F V

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

A continuacin debes verificar el resultado obtenido, para hacerlo debes pegar en este
espacio el pantallazo obtenido al usar el siguiente simulador:
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

Truth Table
pqrs [(p V q) q] (p r) (q V s)

TTTT T
TTTF T
TTFT T
TTFF T
TFTT T
TFTF F
TFFT T
TFFF T
FTTT T
FTTF T
FTFT T
FTFF T
FFTT T
FFTF T
FFFT T
FFFF T

El ejemplo anterior, es una proposicin CONTINGENTE

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

p q p q

p q p q (p V q) [(p V q) p] [(p V q ) p ] q
V V F F V F V
V F F V V F V
F V V F F F V
F F V V V V V

En este ejemplo, la expresin es una TAUTOLOGA

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

2.3. Mediante una tabla de verdad, evala la equivalencia entre las siguientes dos
proposiciones: Son equivalentes?

Primera proposicin: p q

p q q (p q) (p q)
V V F F V
V F V V F
F V F F V
F F V F V

Elaborada de otra manera:

Primera proposicin: p q
P q q (p q) (p q)
1 1 0 0 1
1 0 1 1 0
0 1 0 0 1
0 0 1 0 1

Segunda proposicin: p q

p q p p q
V V F F
V F F F
F V V V
F F V F

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Elabora de otra manera:

Segunda proposicin: p q
p q p p q
1 1 0 0
1 0 0 0
0 1 1 1
0 0 1 0

Las dos proposiciones no son equivalentes, ya que no arrojan los mismos valores de
verdad para cada uno de los casos estudiados

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

2.4. Proposiciones contraria, recproca y contrarrecproca. A continuacin el equipo

debe plantear las proposiciones contraria, recproca y contrarrecproca de la expresin:
Si el ganado es Jersey no tendr buena carne:

Directa Si el Ganado es Jersey no tendr buena carne

Contraria Si el Ganado no es Jersey tendr buena carne
Recproca Si no se tengo buena carne entonces es ganado es jersey
Contrarrecproca Si se tiene buena carne entonces el ganado no es Jersey

Simblicamente tenemos:

Implicacin Directa: pq

Implicacin Contraria: pq

Implicacin Recproca: q p

Implicacin Contrarrecproca: q p

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

Fase 3. Reflexin grupal

LA EVOLUCIN HISTRICA DEL CONCEPTO DE LGICA

La lgica se construye a partir de la necesidad de los individuos de comprender

ciertas situaciones con un sentido de orden. Filsofos como Aristteles, Euclides, Platn,
fueron pioneros en sa materia. Descartes, Newton y Leibniz hicieron su aporte con la
lgica simblica, booleana, clculo proposicional, ms adelante Wiener con la ciencia
ciberntica.

La lgica, surge y se construye a partir de la necesidad de los individuos de comprender

ciertas situaciones con sentido de orden y con esta idea, a travs de la historia han surgido
grandes aportes en orden cronolgico. Inicialmente aparecen Scrates y Platn quienes
lograron desarrollar la Dialctica. Ms adelante continuando con la Historia de la lgica
aparece Aristteles a quien se le atribuye ser el fundador y padre de la misma.

Es as como en la manifestacin de la historia se habla de.

LOGICA ANTIGUA: Aristteles fue quien fund la lgica y desarroll ampliamente la

silogstica que es la misma lgica de clases actualmente. Parmnides, Euclides y Platn,
tambin realizaron estudios lgicos.
Posteriormente los estoicos tambin hicieron aportes a la lgica, desarrollando el silogismo
hipottico, que son los mismos silogismos condicionales y disyuntivos e iniciaron lo que
actualmente se conoce como lgica proposicional.

LGICA MEDIEVAL: Los filsofos medievales continuaron estudiando la lgica, de manera

particular la lgica aristotlica, a la cual no le aadieron nada extraordinario, pero si le
hicieron avances notables de manera particular en el campo de la semntica, el cual era
desconocido en dicha poca

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

En la medida en que se ha dado la evolucin del hombre a travs de los tiempos, tambin
se ha llevado a cabo la evolucin de la lgica, quien ha estado inmersa en la historia
contribuyendo al desarrollo del pensamiento del ser humano y con ello al engrandecimiento
de la ciencia y de la humanidad.

Aunque la lgica evoluciona con el hombre, surge la necesidad de desarrollarla como

disciplina y como ciencia; por ello vale la pena recordar un poco su paso por la historia as:

La palabra lgica procede de dos vocablos griegos: Logos que significa palabra,
pensamiento o razn. Y la terminacin ica que significa relativo a.

Como concepto la lgica se puede definir como el estudio de los mtodos y los principios
utilizados para distinguir el razonamiento incorrecto del correcto.

El razona miento es un proceso mental por medio del cual se llega a conclusiones partiendo
de determinados conocimientos precisos. Un razonamiento es vlido cuando la conclusin a
la que se llega se deriva de las afirmaciones previas. La lgica, es pues la ciencia que
estudia la estructura del pensamiento.

LOGICA MODERNA: Cabe recordar que los filsofos modernos fueron quienes ms se
interesaron ms por la metodologa de la ciencia y por los estudios lgicos. Es as como
hacia la mitad del siglo XIX, la lgica se transforma radicalmente en LGICA MATEMTICA.
Motivo de ello, fue el encuentro de cuatro corrientes distintas:

Lgica Aristotlica

El comenzar a usar un lenguaje matemtico universal

Los progresos del lgebra y la geometra

La concepcin de amplios sectores de la matemtica como sistemas

deductivos.

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

En la poca moderna, Descartes, Newton y Leibniz hicieron su aporte con la lgica

simblica, booleana, clculo proposicional, a travs del razonamiento deductivo en el cual se
indica cmo la lgica aparece como un clculo algebraico y con esto, Boole desarrolla la
lgica de clases y la lgica proposicional.

Ms adelante, aparece Wiener, haciendo su aporte con la Ciencia Ciberntica.

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

CONCLUSIONES

Con la realizacin de este colaborativo, hemos obtenido un amplio conocimiento de la

primera unidad del mdulo de lgica matemtica, dndonos as una iniciacin clara,
sencilla y contundente de este curso acadmico. Adems, tratamos de entender y
trabajar de la mejor manera posible, la mayora de los conceptos referentes a la
unidad en estudio, los cuales nos parecieron bastantes amplios e indispensables
para nuestro crecimiento intelectual, ya que ellos nos sirven de herramienta en
cualquier actividad relacionadas con nuestras reas de estudio y de trabajo.

Comprendimos que para entender la lgica se debe tener una buena concentracin
mental, ya que todo tiene un sentido hacia una misma direccin aplicando sus reglas,
pero que si, la vemos en sentido contrario podemos sentirnos confundidos llegando a
tener razones positivas o negativas. La lgica la utilizamos en todos nuestras
actividades del diario vivir, no dndonos cuenta que la aplicamos en la vida cotidiana.

Gracias a este trabajo tuvimos la oportunidad de interactuar con nuestras compaeras

de grupo y por los aportes de cada una profundizamos en los conocimientos de la
lgica matemtica y el manejo de las diferentes herramientas que nos brindaron para
el desarrollo de esta actividad.

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de ciencias bsicas tecnologas e Ingeniera
Lgica Matemtica

REFERENCIAS

ACEVEDO GONZLEZ Georffrey. Mdulo de Lgica Matemtica. Universidad Nacional

Abierta y a Distancia. Unad. Medelln 2011.

MARQUNEZ ARGOTE Germn y SANZ ADRADOS Juan Jos. Lgica. Universidad Santo
Toms de Aquino, Facultad de Filosofa. Bogot, 1.998

CIBERGRAFA

es.scribd.com/doc./.../

es.wikipedia.org/wiki

www.monografias.com

filosofia.org

Simulador de Tablas Dinmicas en

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

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