LOGICA MATEMATICA

TRABAJO COLABORATIVO 1

LOGICA MATEMATICA

TUTOR

ARMANDO LOPEZ SIERRA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES

PROGRAMA DE PSICOLOGIA

2013

FASE 2) A CONTINUACIÓN, ANALIZA LA VALIDEZ DE LA CONCLUSIÓN: “RESPETAMOS LA LEY” NOTA: VISITA EL EJEMPLO DE APOYO PARA LA FASE 2

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

2.1 Declaración de proposiciones simples:

p: nos gusta tener calidad de vida

q: nos gusta vivir solos

s: Nos gusta vivir en comunidad

t: Respetamos la ley

2.2 Premisas en lenguaje simbólico:

Premisa 1: p v q

Premisa 2: ~q

Premisa 3: p-->s

Premisa 4: ~q-->p

2.3 Conclusión en lenguaje simbólico:

Conclusión: s

2.4 Demostraciones

2.4.1 Demostración a partir de las tablas de verdad forma 1

Proposiciones simples Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusión

p q s p v q ~q p-->s ~q-->p s

V V V V F V V V

V V F V F F V F

V F V V V V V V

V F F V V F V F

F V V V F V V V

F V F V F V V F

F F V F V V F V

F F F F V V F F

No existe el caso en que las premisas sean verdaderas y la conclusión sea falsa, por lo tanto el razonamiento es válido.

2.4.2

...