A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

a. Si trabajo entonces tendré dinero. No tengo dinero.

Conclusión: ________”Entonces no trabajo”____________
Ley de inferencia aplicada: ___Modus Tollens_________
Lenguaje simbólico: 𝒑⇒𝒒
∽𝒒
---------------------
∽𝒑

A continuación, encontrará una serie de razonamientos para el desarrollo del ejercicio 3:

a. 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.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:

1 Identificar si el razonamiento es deductivo o inductivo.

2 Argumentar la respuesta con sus propias palabras.

Respuesta:
 El razonamiento es Inductivo.
 El razonamiento es inductivo se trata del proceso del pensamiento con base a la
experiencias, se toma una decisión el cual tendrá una respuesta para la pregunta.

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento

para el desarrollo del ejercicio 4:

Expresión simbólica: [(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] → ¬𝑟

Premisas:

P1: 𝑟 → ¬𝑞

P2: 𝑝 ∨ 𝑠

P3: 𝑞 ∧ 𝑝

Conclusión: ¬𝑟
Expresión lenguaje natural:
Si la USCO es una universidad pública, entonces la USCO no es una universidad Colombiana. La
USCO es una universidad Colombiana O Neiva tiene sede de la USCO. Cesar estudia en la USCO
Y la USCO es una universidad Colombiana. La USCO no es una universidad pública.
Premisas:
P1: Si la USCO es una universidad pública, entonces la USCO no es una universidad
Colombiana.
P2: La USCO es una universidad Colombiana O Neiva tiene sede de la USCO.

P3: Cesar estudia en la USCO Y la USCO es una universidad Colombiana.

Conclusión: La USCO no es una universidad pública.

Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico

Generar una tabla de verdad manualmente a partir del lenguaje simbólico

Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

Premisas:

P1: 𝑟 → ¬𝑞

P2: 𝑝 ∨ 𝑠

P3: 𝑞 ∧ 𝑝

P4: q SIMPLIFICACION DE 1
P5: ¬𝑟 MPP entre 1 y 4

La validez mediante la leyes de la inferencia es MODUS PONENS

Rta: P5: ¬𝑟 MPP entre 1 y 4