Trabajo Final

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Facultad de Ciencias Básicas, Tecnología e Ingeniería

LOGICA

ACTIVIDAD 10 Trabajo Colaborativo 2

Grupo 90004_469

William Antonio Castillo 79760024

Bogotá Colombia

Noviembre

2012

Introducción

Ente trabajo encontraremos el desarrollo de las actividades propuestas basándonos en la demostración de la verdad con las tablas de verdad, representación simbólica de premisas y validación de los mismos.

Por otra parte analizamos el enunciando o argumento lógico analizando si es para encontrar si es inductivo o deductivo según su contenido o afirmaciones.

.

Desarrollo de actividades

Primera Fase 1:

Según la lectura planteada de razonamiento lógico como postura personal es que este es un razonamiento deductivo ya que el autor plantea una serie de situaciones que son de un vivir cotidiano en sociedad ,beneficios que hemos alcanzado atreves de la construcción de esta , y con esto podemos deducir que debemos participar en la construcción de esta e implica la participación activa en una labor que fortalezca la sociedad , y cumplir con sus leyes y normas , por esto podemos deducir la responsabilidad es igual al beneficio y participación.

Fase 2) A continuación, analiza la validez de la conclusión: “Respetamos 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

2.1 Declaración de proposiciones simples:

P = nos gusta vivir en comunidad

Q=tener calidad de vida

S = no queremos estar solos

T = no estamos solos vivimos en comunidad

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:

s= Respetamos la ley

2.4 Demostraciones:

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

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

p q s t p v q ~q p-->s ~q-->p s 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

Cuando las premisas son verdaderas en todos los casos la conclusión siempre será verdadera

Para expresarlo en leguaje natural esto sería : si no nos gusta estar solos tenemos que estar asociados a una comunidad al estar asociados a una comunidad tendremos calidad de vida y estas no podrían ser verdaderas si no respetamos la ley

2.4.2: Demostración a partir de las tablas de verdad forma 2:

(Evaluando si la conjunción de las premisas implican la

conclusión.)

[(p v q) ^ (~q) ^ (p-->s) --> (~q -->p)] -->s

p q s [(p v q) ^ (~q) (p-->s) [(p v q) ^ (~q) ^ (p-->s) --> (~q -->p)] [(p v q) ^ ( ~q) ^( p-->s)] S

V V V V F V V V

V V F V F F V V

V F V V V V V V

V F F V V F V V

F V V V F V V V

F V F V F V V V

F F V F V V F V

F F F F V V F V

Ahora bien si decidimos que no estaremos solos y queremos vivir en comunidad y tener calidad de vida podemos concluir que respetaremos la ley para no perder estos beneficios. Se obtiene una tautología, demostrando que la conjunción de las premisas implican la conclusión es válido el razonamiento

2.4.3. Verificación con simulador

Forma 1

p

...