Lógica Matematica



UNIVERSIDAD NACIONAL ABIERTTA Y A DISTANCIA
UNAD




APORTE TRABAJO COLABORATIVO 2
LOGICA MATEMATICA

TUTORA:
SANDRA ISABEL VARGAS
GRUPO: 90004-315



PRESENTADO POR:
MARIA DEL PILAR BEDOYA
CODIGO: 66840097








INTRODUCCION



En el desarrollo de este trabajo se presenta la solución de tres fases, la primera fase corresponde a un análisis de un enunciadopropuesto en la guía, el cual hay que indicar si es un razonamiento deductivo e inductivo y sus razones. Luego encontramos una segunda fase donde se realiza la validez dela conclusión ‘respetamos la ley’ referente a 4 premisas dadas, sacar proposiciones simples, premisas y conclusión en lenguaje simbólico, demostraciones a partir de la tabla d la verdad 1 y 2 , verificación con simulador,demostración a partir de las leyes de inferencia y demostración por producción al absurdo. Por ultimo encontramos la fase 3, opinión personal del producto del debate con mis compañeros de grupo colaborativo sobre la pregunta ¿que ganamos y a que renunciamos al vivir en sociedad? Terminación del trabajo individual conclusión y bibliografía.DESARROLLO DE LA ACTIVIDAD

Fase 1

La primera parte de la lectura, es de carácter inductivo, por que asocia la subjetividad en cuanto a gusto que se suponen comunes por medio de la experiencia y/o la observación. Ya inducidos en un marco común, el autor utiliza razonamiento deductivo para que comprendamos la interacción que hay en la sociedad en cuanto a restringir voluntariamente nuestrasacciones. Finalmente, la conclusión se hace de carácter deductivo. Como se hace una deducción sobre lo inductivo, el razonamiento propuesto es inductivo.

Fase 2:

Diálogo:
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 encomunidad, entonces respetamos la ley

Declaración 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

Premisas:

Premisa 1: ¬p v ¬q
Premisa 2: p Premisa 3: ¬q-->r Premisa 4: r --> s

Conclusión: s






2.4.1 Demostración a partir de las tablas de verdad:

Forma 1:p

q

r

s

˜p

˜q

P1

P2
P3

P4

conclusión




















V

V

V

V

F

F

F

V
V

V

V
V

V

V

F

F

F

F

V
V

F

F
V

V

F

V

F

F

F

V
V

V

V
V

V

F

F

F

F

F

V
V

V

F
V

F

V

V

FV

V

V
V

V

V
V

F

V

F

F

V

V

V
V

F

F
V

F

F

V

F

V

V

V
F

V

V
V

F

F

F

F

V

V

V
F

V

F
F

V

V

V

V

F

V

F
V

V

V
F

V

V

F

V

F

V

F
V

F

F
F

V

F

V

V

F

V

F
V

VV
F

V

F

F

V

F

V

F
V

V

F
F

F

V

V

V

V

V

F
V

V

V
F

F

V

F

V

V

V

F
V

F

F
F

F

F

V

V

V

V

F
F

V

V
F

F

F

F

V

V

V

F
F

V

f





















2.4.2 Demostración a partir de la tabla deverdad forma 2


P1


P2

P3

P4

P1
P2
P3
P4


s

[(P1) ^ (P2) ^
(P 3) ^ (P4)] →s
F

V

V

V

F

V

v
F

V

V

F

F

F

v
F

V

V

V

F

V

v
F

V

V

V

V

F

v
V

V

V

V

F

V

v
V

V

V

F

F

F

v
V

V

F

V

F

V

v
V...