1- Hace un tiempo, Juan, Miguel y Alejandro que son amigos, le

prestaron dinero a José, él no les pagó; ahora nuevamente José le

pide a Miguel que le haga un préstamo, inmediatamente Miguel
asume que no le va pagar ese dinero.

 Identificar si el razonamiento es deductivo o inductivo.

El razonamiento es inductivo
 Argumentar la respuesta con sus propias palabras.
Miguel por razonamiento inductivo asume que José no le va a
apagar el préstamo, ya que anterior mente no le pago

2-Expresión simbólica: [ ( r → ¬q ) ∧ ( p ∨ s ) ∧ ( q ∧ p ) ]→¬ r

Premisas:
P1:r →¬ q
P2: p ∨ s
P3:q ∧ p
Conclusion: ¬ r

 Definir las proposiciones simples, tendrá la libertad de definirla

bajo una descripción basada en un contexto, el que se solicita es
un contexto académico, ejemplo:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

solución:

p: estudiar para el examen de calculo

q: caminar rápido a la universidad

r: llegar temprano a la universidad

s: perder el examen de calculo

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural. Las proposiciones simples deben ser de autoría
de cada estudiante, por lo que de encontrar proposiciones iguales
entre estudiantes se considerara como copia y se tomaran las
medidas correctivas estipuladas por la UNAD.
P1: r→¬q
Llegar temprano a la universidad entonces no caminare rápido a la
universidad

P2: p∨s
Estudiar para el examen de calculo o perder el examen de calculo

P3: q∧p:
Caminar rápido a la universidad y estudiar para el examen de
calculo

Conclusión: ¬r
No perderé el examen de calculo

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico (En Word, Excel o foto del desarrollo manual).

El argumento es una Tautologia.

 (pvs (qʌp
p q r s ¬q (r-> ¬q) ) ) ¬r (r-> ¬q)ʌ(pvs) (r-> ¬q)ʌ(pvs)ʌ(qʌp) (r-> ¬q)ʌ(pvs)ʌ(qʌp)->¬r
v v v v f f v v f f f v
v v v f f f v v f f f v
v v f v f v v v v v v v
v v f f f v v v v v v v
v f v v v v v f f v f v
v f v f v v v f f v f v
v f f v v v v f v v f v
v f f f v v v f v v f v
f v v v f f v f f f f v
f v v f f f f f f f f v
f v f v f v v f v v f v
f v f f f v f f v f f v
f f v v v v v f f v f v
f f v f v v f f f f f v
f f f v v v v f v v f v
f f f f v v f f v f f v

 Demostración de la validez del argumento mediante las leyes de la

inferencia lógica

p 1:r →−q p 2: p v s p 3: q ʌ p p 4 : q simplificacion en p 3 p 5:¬ r v ¬q conmutativa en p 1

p 6 :¬r modo tollendo ponens p 5 y p 4
∵ ¬r