LGICA MATEMTICA

TRABAJO COLABORATIVO 2

Presentado por:
GERMAN BUENO CDIGO: 94.062.839
RUBEN DARIO ACEVEDO PORTILLA CDIGO: 88.212.054
REINEL PULIDO SAAVEDRA CDIGO: 93439610
JUAN PABLO PORTILLO: 93411891
GRUPO: 90004_17

Presentado a:
ELBER FERNANDO CAMELO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
DICIEMBRE DE 2014

INTRODUCCIN

El presente trabajo se basa en el anlisis de algunas proposiciones de razonamiento

lgicos planteadas como ejemplo para su demostracin como falsos o verdaderos
demostrando su justificacin, para luego ser demostradas por medio de tablas de
verdad, el cual se comprobar los resultados por medio de simuladores electrnicos
obtenido en la web, de igual manera se aplica las leyes de la inferencia para demostrar
su validez, incluso utilizando la reduccin de lo absurdo.

OBJETIVO

Deducir de forma lgica algunos razonamientos clasificndolos como falsos o

verdaderos.
Denotar la validez o falsedad de un razonamiento aplicando diferentes mtodos
demostrativos como tablas de verdad, simuladores electrnicos, leyes de
inferencia y reduccin del absurdo.

FASE 1.
Problema de aplicacin
Los razonamientos lgicos que hemos estudiado se encuentran presentes no son
exclusivos de los espacios acadmicos. Por el contrario, hacemos uso de stos en el
debate cotidiano de ideas. A continuacin se propone un dilogo entre varios
estudiantes de la Unad:
Juan: algunas personas pueden hacer algo por la paz.
Patricia: No Juan. Todos podemos hacer algo por la paz.
Ana: O hacemos algo por la paz o no queremos vivir en comunidad.
Diego: Si nos gusta que existan personas que hagan ropa, entonces nos gusta vivir en
comunidad.
Freddy: Si nos gusta que existan mdicos, entonces nos gusta vivir en comunidad.
Mara:A quin no le gusta vivir en comunidad?
Jorge:

Si nos gusta vivir en comunidad, es necesario que respetemos las leyes

de la comunidad.
Tania:

podemos concluir que si respetamos las leyes de la comunidad, entonces

hacemos algo por la paz.

No.

Proposicin

La

Justificacin

proposicin
es
1

El enunciado de Juan es un enunciado

VoF
V

cientfico

Ya que su
categorizado

razonamiento puede

se

como inductivo por la

un

veracidad del argumento.

Porque es universal y

una

demostrable.
No es una proposicin lgica ya que no

proposicin lgica
El enunciado de Diego expresa una

es posible determinar el valor lgico.

Ya que expresa
un
condicional,

conjuncin
De acuerdo con Freddy, si no nos

enmarcado en una implicacin.

Porque es contra recproca condicional.

Porque es una implicacin reciproca

Ya que es una implicacin reciproca

Porque es una implicacin reciproca

Porque es una implicacin contraria

Porque es una implicacin contraria

El

enunciado

de

enunciado cientfico
El enunciado de

Patricia
Mara

es
es

puede

gusta vivir en comunidad, entonces no

6

nos gusta que existan mdicos.

De acuerdo con Ana, si no queremos
vivir

en

comunidad,

entonces

no

hacemos algo por la paz

De acuerdo con Jorge, Si respetemos
las leyes de la comunidad, entonces

nos gusta vivir en comunidad.

De acuerdo con Freddy, Si nos gusta
vivir en comunidad, nos gusta que

existan mdicos.
De acuerdo con Jorge, Si no nos gusta
vivir

10

en

comunidad,

entonces

no

respetamos la ley.
De acuerdo con Ana, si hacemos algo
por

la

paz,

queremos vivir en

comunidad

FASE 2.
A continuacin, analiza la validez de la conclusin planteada por Tania:

ser

Tania: podemos concluir que si respetamos las leyes de la comunidad, entonces

hacemos algo por la paz.
Declaracin de proposiciones simples:
P: Nos gusta vivir en comunidad
Q: Respetar las leyes de la comunidad
R: Hacer algo por la paz
Premisas:
Premisa 1: p
Premisa 2: p q
Premisa 3: r
Conclusin: p r
Demostraciones:
Fase 2.1: Demostracin a partir de las tablas de verdad
Forma 1:
p

PREMISA

PREMISA

PREMISA

pr

1
2
3
F
F
F
F
V
F
V
F
F
V
F
V
V
V
F
V
F
F
V
F
V
F
V
V
F
V
V
V
V
F
F
V
F
F
F
V
F
V
V
F
V
V
V
V
F
V
V
F
F
V
V
V
V
V
V
V
No existe el caso en que las premisas sean verdaderas y la conclusin sea falsa, por lo
tanto el razonamiento es vlido.
Fase 2.2: 2.2.1. Demostracin a partir de las tablas de verdad
Forma 2
p

premisa

premisa

premisa

p1^p2^p

Conclusi

p1^p2^p3 ( p

r)

(p r)

Se obtiene una tautologa, demostrando que la conjuncin de las premisas implican la

conclusin y por lo tanto el razonamiento es vlido.
2.2.2 verificacin con Simulador

2.3 Demostracin a partir de las leyes de inferencia

Premisa 1: p

Premisa 2: p q
Premisa 3: r
Conclusin: p r
Premisa 5: q

1,2 MPP (modus ponendo ponens)

Premisa 6: p r

5,3 S.D (Silogismo Disyuntivo)

En conclusin, las leyes de inferencia permiten deducir la conclusin, por lo tanto el

razonamiento es vlido.
2.4 por reduccin al absurdo
Suponemos que es posible que las premisas sean verdaderas y la conclusin falsa:
Si es posible entonces el razonamiento NO es vlido.
Premisa 1: p

Premisa 2: p q

Premisa 3: r

Conclusin: p r F
Si la conclusin es Falsa entonces p es Verdadera, lo que verifica que la premisa 1, y r
es Falsa, lo que niega la premisa 3, y para que la premisa 2 sea Verdadera con p
Verdadera, q debe ser Verdadera.

CONCLUSIONES

Al finalizar este trabajo se puede notar la importancia que tiene la lgica matemtica en

la labor diaria del ser humano, ya que con la lgica se pueden resolver mltiples
problemas.
Este trabajo no ha permitido profundizar los conocimientos del uso de la lgica para la
resolucin de problemas o la representacin de la realidad a nivel de proposiciones.
Se aprendi a elaborar las reglas de inferencia y utilizarlas para justificar la validez de
un argumento lgico.

BIBLIOGRAFIA

Acevedo, G. (2012). Mdulo de Lgica Matemtica. Universidad Nacional

Abierta Y A Distancia Escuela De Ciencias Bsicas, Tecnologa E Ingeniera

Ciencias Bsicas. Medelln.
Ntic.educacion.es. (2012). Recuperado el 11 de 12 de 2014, de Generador
tabla

de

verdad:

http://ntic.educacion.es/w3/eos/MaterialesEducativos/mem2003/logica/logica
/03tablasvdad/generadorfrset.html

Wikipedia Enciclopedia libre. (2014).Razonamiento lgico. Visitado el 14 de

diciembre

de

2014.Recuperado

http://es.wikipedia.org/wiki/Razonamiento

de: