trabajo de logica colaborativo 2

Fase uno
¿El razonamiento propuesto es deductivo o inductivo?
Analizando detenidamente la lectura propuesta en el trabajo colaborativo dos, se ve puede decir que es un razonamiento inductivo, ya que un proceso que lleva a obtener una conclusión general a partir de premisas especificas o particulares.  

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 tener calidad de vida
q = Nos gusta vivir solos
r = Nos gusta vivir en comunidad
s= Respetamos la ley

2.2 Premisas en lenguaje simbólico:
Premisa 1: ~p v~q
Premisa 2: p
Premisa 3: ~q → r
Premisa 4: r → s

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: (Evaluando la existencia del caso en que las premisas sean verdaderas y la conclusión sea falsa)
==2x2x2x2=16 # filas
p
q
r
s˜p
˜q
Premia1
˜pv˜q
Premia2
p
Premia3
˜q→r
Premia4
r→s
Conclusión
[(˜pv˜q)ᴧ(p)ᴧ(˜q→r)ᴧ (r→s)
V
V
V
V
F
F
F
V
V
V
V
V
V
V
F
F
F
F
V
V
F
V
V
V
F
V
F
F
F
V
V
V
V
V
V
F
F
F
F
F
V
V
V
V
V
F
V
V
F
V
V
V
V
V
V
V
F
V
F
F
V
V
V
V
F
V
V
F
F
V
F
V
V
V
F
V
V
V
F
F
F
F
V
V
V
F
V
V
F
V
V
V
V
F
V
F
V
V
V
F
V
V
F
V
F
V
F
V
F
V
F
V
F
V
V
F
V
F
V
V
V
F
V
F
F
V
F
V
F
V
V
V
F
F
V
V
V
V
V
F
V
V
V
F
F
V
F
V
V
VF
V
F
V
F
F
F
V
V
V
V
F
F
V
V
F
F
F
F
V
V
V
F
F
V
V
Análisis
No existe caso en que las premisas sean verdaderas y la conclusión sea falsa, por lo tanto el razonamiento es válido.
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.)
Premia1
˜pv˜q
Premia2
p
Premia3
˜q→r
Premia4
r→s
Conclusión
[(˜pv˜q)ᴧ(p)ᴧ(˜q→r)ᴧ(r→s)
s
Conclusión
[(˜pv˜q)ᴧ(p)ᴧ(˜q→r)ᴧ (r→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
F
F
V
V
V
V
V
F
V
V
V
V
V
F
F
F
V
V
V
F
V
F
V
V
V
V
F
V
F
F
V
V
F
V
V
F
V
V
V
F
V
F
F
F
V
V
F
V
V
F
V
V
V
F
V
V
F
F
V
V
F
V
V
F
V
V
V
F
V
F
F
F
V
V
F
F
V
F
V
V
V
F
F
V
F
F
V
Con la demostración a partir de la tabla de verdad en la forma dos se puede concluir que el razonamiento dado, es válidodemostrando que la conjunción de las premisas implica la conclusión.

2.4.3. Verificación con simulador

  p  
  q  
  r  
  s  

 { [(¬pV¬q) Λp]Λ[(¬q→r)Λ(r→s)] }→s 

  T  
  T  
  T  
  T  
T
T
T
F
T
T
F
T
T
T
F
F
T
F
T
T
T
F
T
F
T
F
F
T
T
F
F
F
F
T
T
T
F
T
T
F
F
T
F
T
F
T
F
F
F
F
T
T
F
F
T
F
F
F
F
T
F
F
F
F

T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T

Expression is a tautology: porque todas sonverdaderas.
2.4.4. Demostración a partir de las leyes de inferencia:

Premisa 1: ~p v ~q : No nos gusta tener calidad de vida O no nos gusta vivir solos
Premisa 2: p : Nos gusta tener calidad de vida
Premisa 3: ~q → r : No nos gusta vivir solos entonces Nos gusta vivir en comunidad
Premisa 4: r → s : Nos gusta vivir en comunidad entonces respetamos la Ley
__________________
Premisa 5: ~q : Nonos gusta vivir solos; 1,2 ˜pv˜q
Silogismo disyuntivo p ↓
__________
˜q
Premisa 6: ~q → r : No nos gusta vivir solos entonces nos gusta viviren comunidad
r : 3,5 MMP → ˜q→r
˜q ↓
_________
r

Premisa 7: s : respetamos la ley; 6,4 MMP → r→s
r ↓...