Trabajo Colaborativo 2 UNAD

1. Debate con tus compañeros de equipo: ¿El razonamiento propuesto es deductivo o inductivo?

R/. El razonamiento es deductivo porque es necesario comparar las premisas entre sí para poder sacar una conclusión

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

R/. La proposición 2 es una preposición simple, las preposiciones 1, 3 y 4 son compuestas.

2.2 Premisas en lenguaje simbólico

p= Nos gusta tener calidad de vida

q= Nos gusta vivir solos

r= Nos gusta vivir en comunidad

s= Respetamos la ley

Premisa 1:¬ p ∨ ¬ q

Premisa 2: p

Premisa 3:¬ q → r

Premisa 4: r → s

2.3

Conclusión: ∴ s

2.4 Demostración

2.4.1 No

2.4.2 Demostración tabla de verdad por conjunción de premisas

Sea A= (¬ p ∨ ¬ q) ∧ (p) ∧ (¬ q → p) ∧ (r → s)

C = {(¬ p ∨ ¬ q) ∧ (p) ∧ (¬ q → r) ∧ (r → s)} → s

Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusión Validez

P q r S ¬ p ¬ q ¬ p ∨ ¬ q p ¬ q → r r → s A S C

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Observando la tabla de verdad, las premisas son suficientes para inferir la validez de la conclusión.

2.4.3 Demostración con el simulador

2.4.4 Demostracion por las leyes de inferencia

1. ¬ p ∨ ¬ q

2. p

3. ¬ q → r

4. r → s

5. ¬ q TOLENDO PONEN 1.2.

6. r PONENDO PONEN 5.3.

7. S PONENDO PONEN 6.4.

2.4.5 Demostracion por el absurdo

1. ¬ p ∨ ¬ q

2. p

3. ¬ q → r

4. r → s

5. ¬

...