TRABAJO COLABORATIVO NUMERO 2

Miguel Ernesto Figueroa

Jessica Juliet Martinez
Neida Figueroa
Omar Fernando Garavito

LOGICA MATEMATICA
Grupo: 1083
Tutor: Ferney Jimenez Neira

UNIVERSIDAD NACIONAL ABIERTA A DISTANCIA UNAD

COLOMBIA
2012

INTRODUCCION
La elaboracin del presente trabajo es con el objetivo de comprender de la mejor
manera posible algunas de las leyes en las que se basa la lgica. Si bien estas
leyes las utilizamos prcticamente a diario en nuestro razonamiento normal de la
vida cotidiana el estudio de estas leyes nos ayuda a aprender que sin importar las
circunstancias en las que hablemos las conclusiones de nuestros razonamientos
pueden ser verdaderas o falsas.

Problema de aplicacin
Los razonamientos lgicos que hemos estudiado, 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, debes analizar este dialogo para dar respuesta a las fases 1 y 2:
Dilogo:

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:
gusta

Si nos gusta que existan personas que hagan ropa, entonces nos
vivir en comunidad.

Freddy:

Si nos gusta que existan mdicos, entonces queremos vivir en

comunidad.

Mara:

A quin no le gusta vivir en comunidad?

Jorge:
las leyes

Si nos gusta vivir en comunidad, es necesario que respetemos

de la comunidad.

Tania:

podemos concluir que si respetamos las leyes de la comunidad,

entonces hacemos algo por la paz.

Fase 1) A continuacin se presentan 10 proposiciones lgicas, debes

analizar el valor de verdad de cada proposicin y registrar su valor. Tambin
debes registrar la justificacin de por qu se asign dicho valor.

No.

Proposicin

La
proposicin
es

Justificacin

VoF
1

El enunciado de Juan es un enunciado

cientfico

Porque no puede ser refutado

El enunciado de Patricia es un
enunciado cientfico

Porque puede ser refutado

El enunciado de Mara es una

proposicin lgica

Porque no se puede ser con certeza si

es falso o verdadero

El enunciado de Diego expresa una

conjuncin

Por que es condicional, el enunciado

es una implicacin

De acuerdo con Freddy, si no nos

5 gusta vivir en comunidad, entonces no
nos gusta que existan mdicos.
De acuerdo con Ana, si no queremos
6 vivir en comunidad, entonces no
hacemos algo por la paz
De acuerdo con Jorge, Si respetemos
7 las leyes de la comunidad, entonces
nos gusta vivir en comunidad.
De acuerdo con Freddy, Si nos gusta
8 vivir en comunidad, nos gusta que
existan mdicos.

Contrareciproca

V
F

Porque lo que dice Ana es una

disyuncin
Porque una depende de la otra

V
F

Porque la que dice Freddy es una

condicin y no permite cambios.

De acuerdo con Jorge, Si no nos gusta

9 vivir en comunidad, entonces no
respetamos la ley.

Implicacin reciproca de la frase

inicial.

De acuerdo con Ana, si hacemos algo

10 por la paz, queremos vivir en
comunidad

Fase 2) A continuacin, usando como referencia el dilogo propuesto,

analiza la validez de la conclusin planteada por Tania:
Declaracin de proposiciones simples:
p- hacemos algo por la paz
q-queremos vivir en comunidad
r-nos gusta las personas que hagan ropa
s-nos gusta que existan mdicos
t-es necesario respetar las leyes

Premisa 1 (ANA) :
Premisa 2 (DIEGO) :
Premisa 3 (FREDY) :
Premisa 4 (JORGE):

PVQ
R-->Q
S-->Q
Q<-->T

Conclusin (TANIA):

T-->P

Demostracin:
PRIMERA FORMA
a partir de las tablas de verdad(Evaluando la existe del caso en que las premisas sean
verdaderas y la conclusin sea falsa)

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

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

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

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

t
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V

Q
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F

PVQ
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F

R-->Q
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V

S-->Q
V
V
V
V
V
V
V
V
F
F
V
V
F
F
V
V
V
V
V

Q<-->T
V
F
V
F
V
F
V
F
F
V
F
V
F
V
F
V
V
F
V

T-->P
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
V
F

F
F
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
V
F
F
F
F
F
F
F
F

V
F
F
F
F
V
V
V
V
F
F
F
F

F
V
V
F
F
V
V
F
F
V
V
F
F

F
V
F
V
F
V
F
V
F
V
F
V
F

F
F
F
F
F
V
V
V
V
V
V
V
V

F
F
F
F
F
V
V
V
V
V
V
V
V

V
V
V
V
V
F
F
F
F
V
V
V
V

V
V
V
V
V
F
F
V
V
F
F
V
V

F
V
F
V
F
F
V
F
V
F
V
F
V

V
F
V
F
V
F
V
F
V
F
V
F
V

NO EXISTE UN CASO EN QUE LAS PREMISAS SEAN VERDADERAS Y LA

CONCLUSION SEA FALSA, EL RAZONAMIENTO ES VALIDO.
SEGUNDA FORMA:
(Evaluando si la conjuncin de las premisas implican la conclusin.)
Se deja como ejercicio al estudiante como aporte individual para el debate,
verificar que al construir la tabla de verdad del ejemplo propuesto:

Se remplazan los valores de la anterior table en esta.

PV
Q

R->Q

S-->Q

Q<-->T

T-->P

(P V Q) ^ (R->Q)

(S-->Q) ^
(Q<-->T)

(P V Q) ^ (R->Q) ^ (S-->Q) ^
(Q<-->T)

[ (P V Q) ^ (R->Q) ^ (S-->Q) ^
(Q<-->T) ] T-

->P
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V
F
F
F
F
V
V
V

V
V
V
V
V
V
V
V
F
F
V
V
F
F
V

V
F
V
F
V
F
V
F
F
V
F
V
F
V
F

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V
F
F
F
F
V
V
V

V
F
V
F
V
F
V
F
F
F
F
V
F
F
F

V
F
V
F
V
F
V
F
F
F
F
F
F
F
F

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V
V
F
F
F
F
V
V
V
V

V
V
V
V
V
V
V
V
V
F
F
V
V
F
F
V
V

V
V
F
V
F
V
F
V
F
F
V
F
V
F
V
F
V

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V

V
F
F
F
F
F
F
F
F
F
F
F
F
V
V
V
V

V
V
F
V
F
V
F
V
F
F
F
F
V
F
F
F
V

Se da una tautologa por lo cual el Razonamiento es correcto.

TERCERA FORMA
Demostracin a partir de las leyes de inferencia:
p- hacemos algo por la paz
q-queremos vivir en comunidad
r-nos gusta las personas que hagan ropa
s-nos gusta que existan mdicos
t-es necesario respetar las leyes

Premisa 1 (ANA) :
Premisa 2 (DIEGO) :
Premisa 3 (FREDY) :
Premisa 4 (JORGE):

PVQ
R-->Q
S-->Q
Q<-->T

Conclusin (TANIA):

T-->P

5 T-->P =

( T-->P)

V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
V

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

CONCLUSIONES
El razonamiento lgico se refiere al uso de entendimiento para pasar de
unas proposiciones a otras, partiendo de lo ya conocido o de lo que
creemos conocer a lo desconocido o menos conocido. Se distingue entre
razonamiento inductivo y razonamiento deductivo.
Permite desarrollar competencias que se refieren a la habilidad de resolver
situaciones nuevas de las que no se conoce de antemano un mtodo
mecnico de resolucin.
La Tabla de la verdad nos ayuda a probar la validez de un argumento de
tipo general.
El conocimiento matemtico es una herramienta bsica para la
comprensin y manejo de la realidad en que vivimos. Su aprendizaje se
hace imprescindible, por lo tanto, que apliquemos la matemtica a la vida
cotidiana, as aprenderla se hace ms dinmico, interesante, comprensible,
y sobre todo, til. No se debe perder de vista que cualquier situacin puede
aprovecharse para el desarrollo de los conceptos matemticos.

BIBLIOGRAFIA

*Georffrey Acevedo Gonzlez (2011) Modulo curso de Lgica matemticas

primera edicin, Universidad Nacional Abirta a Distancia, Medellin.
*Julio Rios, Tablas de Verdad Tautologia. Obtenido el 15 de Mayo de 2012
desde http://www.youtube.com/watch?v=ZYiblnqy7Ck
*Julio Rios, Construir una Tabla de Verdad. Obtenido el 15 de mayo de 2012
desde http://www.youtube.com/watch?v=pwJK-4Op438