90004 Act.

10 Lgica Matemtica

Trabajo colaborativo 2

Presentado por:

Fredy Jos Falla Daz

Cdigo: 1121870190

Tutor: Elber Fernando Camelo

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS DE CIENCIAS BASICAS TECNOLOGIA E
INGENIERIA
PROGRAMA DE INGENIERIA INDUSTRIAL
Acacias, 21 de mayo de 2013

INTRODUCCIN

Se busca a travs de este trabajo profundizar en los conocimientos adquiridos por

el material de apoyo para la unidad 2, enfocado a la orientacin para la realizacin
de los ejercicios expuestos por el tutor para la creacin de planteamientos y
pensamientos lgicos que son indispensables para la vida personal y laboral.

1. Fase 2: analizar la validez de la conclusiones respetemos la ley

Premisa 1: o no nos gusta tener calidad de vida o no nos gusta vivir solos
Premisa 2: nos gusta tener calidad de vida
Premisa 3: si no nos gusta vivir solos, nos gusta vivir en comunidad
Premisa 4: si nos gusta vivir en comunidad, entonces respetamos la ley
a. Declaracin de proposiciones simples:
p = nos gusta tener calidad de
vida q = nos gusta vivir solos
r = nos gusta vivir en comunidad
s = respetamos la ley
b. premisas en lenguaje simblico
Premisa 1: ~p v ~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: r s
c. Conclusin

en

simblico Conclusin: s
d. Demostraciones

lenguaje

e. Demostracin a partir de las tablas de verdad forma 1: no existe el caso

en que las premisas sean verdaderas y la conclusin sea falsa, por lo tanto
el razonamiento es vlido.

PREPOSICIONES
SIMPLES

PREMISA 1

PREMISA 2

PREMISA 3

PREMISA 4

CONCLUSION

~p v ~q

~q ~q

rs

p q

s ~p ~q

f. Demostracin a partir de las tablas de verdad forma 2: se obtiene una tautologa, demostrando que la
conjuncin de las premisas implican la conclusin y por lo tanto el razonamiento es vlido.

PREPOSICIONES
SIMPLES

PREMISA 1

s ~p ~q

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

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

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

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

PREMISA 3

PREMISA 4

CONCLUSION

(P1 ^ P2 ^ P3 ^ P4) C

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

PREMISA 2

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

~p v ~q

~q ~q

rs

F
F
F
F
V
V
V
V
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
F
F
V
V
V
V
V
V
F
F

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

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

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

g. Verificacin con simulador

h. Demostracin a partir de las leyes de inferencia: en conclusin, las

leyes de inferencia permiten deducir la conclusin, por lo tanto el
razonamiento es vlido.

Premisa 1:
Premisa 2:
Premisa 3:
Premisa 4:
5.
6.
7.

~p v ~q
p
~q r
rs
~q
r
s

2,1 SD
5,3 MPP
6,4 MPP

i. Demostracin 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:
Premisa 2:
Premisa 3:
Premisa 4:

~p v ~q
p
~q r
rs

=V
=V
=V
=V

Conclusin

=F

CONCLUSIN S = F
De acuerdo con la conclusin S es falso por MTT en la premisa 4 se obtiene que
r es falso, nuevamente aplicando MTT en la premisa 3 se obtiene que ~q es
falso, o que es lo mismo q es verdadero, por SD en la premisa 1, ~p es
verdadero lo que contradice la premisa 2, que afirma que p es verdadero.
En conclusin el anlisis por reduccin al absurdo se concluye que no es posible
que cuando las premisas sean verdaderas, la conclusin sea falsa, por lo tanto el
razonamiento es vlido.

CONCLUSIONES

El presente trabajo exige la utilizacin del mdulo y pginas de apoyo para la

realizacin de los ejercicios propuestos y tambin la investigacin en medios de
internet y as poder examinar los principales conceptos de lgica matemtica para
la profundizacin del curso y por medio del conocimiento aportar ideas frescas al
grupo de trabajo.

REFERENCIAS

Modulo curso de lgica matemtica primera edicin (universidad

nacional abierta y a distancia) Medelln 2012
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
PDF to Word