Pensamiento Lógico Matemático

 

Pensamiento Lógico Matemático

Ejercicio 1: 

Métodos para probar la validez de un argumento  

a. Expresión simbólica:  [(p∨q)∧(p→r)∧(q→s)⋀(¬r)]→s

Premisas:

P1:  p∨q

P2: p→r

P3: q→s

P4: ¬r

Conclusión:  s

b. Expresión simbólica:  [(p→q)∧(q→r)⋀(¬r)]→(¬p)

Premisas:

P1:  p→q

P2:  q→r

P3:  ¬ r

Conclusión: ¬ p

c. Expresión simbólica: [(p→q)⋀(p∨q)⋀(¬q)]→(q)

Premisas:

P1: p→q

P2: p∨q

P3: ¬ q

Conclusión: q

d. Expresión simbólica: [(p⋀¬q)⋀(p→q)]→(¬p)

Premisas:

P1: p⋀¬q

P2: p→q

Conclusión:  ¬ p

e. Expresión simbólica:  [(p→q)⋀(q→r)⋀(p⋀s)]→(r)

Premisas:

P1: p→q

P2: q→r

P3: p⋀s

Conclusión:  r