TAREA 1 - MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

ESNEIDER EDUARDO QUINTERO ANGARITA

CÓDIGO: 1065204487

No. DE GRUPO: 200611_183

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LÓGICO Y MATEMÁTICO

JACQUELINE MÉNDEZ ROJAS

SEPTIEMBRE/2021
Ejercicio 1: Proposiciones y tablas de verdad

OPCIÓN E.

 Proposiciones simples

p: Hay protestas en contra la reforma tributaria en Colombia.

q: Desde el inicio de las manifestaciones el dólar subió

r: La Reforma tributaria desata la violencia.

 Lenguaje simbólico

(𝒑∨𝒒) → (𝒒∧𝒓)

 Lenguaje Natural

Hay protestas en contra la reforma tributaria en Colombia o desde el inicio de las

manifestaciones el dólar subió. Si desde el inicio de las manifestaciones el dólar entonces

subió y la Reforma tributaria desata la violencia.

 Tabla de verdad manualmente

p q R (𝒑∨𝒒) (𝒒∧𝒓) (𝒑∨𝒒) → (𝒒∧𝒓)

V V V V v V
V V F V F F
V F V V F F
V F F V F F
F V V V V V
F V F V F F
F F V F F V
f F f F F V

A partir del resultado de los datos se puede deducir que es una preposición de

contingencia o indeterminada, como lo afirma Rodríguez (2014) “es una proposición

indeterminada o una indeterminación cuando en su tabla de verdad aparecen valores

verdaderos y falsos, dependiendo de los valores de verdad y falsedad de las proposiciones

simples que la integran.” (p.28)

 Tabla de verdad simulador Lógica UNAD

Ejercicio 2: Identificación de las reglas de la inferencia lógica

 Expresión simbólica

 Ley de inferencia de la expresión: Modus Tollendo Tollens (TT)

 Proposiciones simples:

p: Esneider estudia psicología

q: La psicología es un programa de la UNAD

 Lenguaje Natural:

Si Esneider no estudia psicología entonces la psicología no es un programa de la

UNAD. Esneider no estudia psicología. Por lo tanto, la psicología no es un programa de

la UNAD.

 Expresión simbólica

 Ley de inferencia de la expresión: Adjunción (A)

 Proposiciones simples:

p: Esneider estudia psicología

 q: La psicología es un programa de la UNAD

 Lenguaje Natural:

Esneider estudia psicología. La psicología es un programa de la UNAD. Esneider

estudia psicología y la psicología es un programa de la UNAD.

 Expresión simbólica

 Ley de inferencia de la expresión: Adjunción (A)

 Proposiciones simples:

p: Esneider estudia psicología

r: La psicología es un programa de la UNAD

s: La UNAD es una Universidad

 Lenguaje Natural:

Esneider estudia psicología o la psicología es un programa de la UNAD. Si Esneider

estudia psicología entonces la UNAD es una Universidad. La psicología es un programa

de la UNAD, entonces la UNAD es una Universidad. Por lo tanto, La UNAD es una

Universidad.
Ejercicio 3: Aplicación de las reglas de la inferencia lógica

 Argumento: Si Estados Unidos de América goza de una gran extensión geográfica

entonces Estados unidos presenta las 4 estaciones del año. Estados unidos No

presenta las 4 estaciones del año.

 Conclusión: Estados Unidos de América no goza de una gran extensión geográfica

 Ley de inferencia aplicada: Modus Tollendo Tollens (TT)

 Lenguaje simbólico:

𝒑→𝒒

∼𝒒

______________________

∼𝒑

Ejercicio 4: Problemas de aplicación

 Expresión simbólica:

[(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q] → (r ∧ p)

 Premisas:

P1: p v q

P2: p → r

P3: q→ r

P4: ∼q

 Conclusión: r ∧ p
 Proposiciones simples:

p: Esneider estudia psicología

q: La psicología es un programa de la UNAD

r: La UNAD es una Universidad

 Lenguaje Natural:

Esneider estudia psicología o la psicología es un programa de la UNAD. Si Esneider

estudia psicología, entonces la UNAD es una Universidad. Si la psicología es un

programa de la UNAD, entonces la UNAD es una Universidad. La psicología no es

un programa de la UNAD. La UNAD es una Universidad y Esneider estudia

psicología.

[(p v q) ∧ (p → r) ∧ (q→ r) ∧

[(p v q) ∧ (p → r) ∧ (q→ r) ∧
 Tabla de verdad manual

(p v q) ∧ (p → r) ∧ (q→ r)
[(p v q) ∧ (p → r)

(p → r) ∧ (q→ r)

∼q] → (r ∧ p)
(p → r)

(q→ r)
(p v q)

(r ∧ p)

∼q]
~q
p

v v v f v v v v v v v f v
v v f f v f f f f f f f v
v f v v v v v v v v v v v
v f f v v f v f f f f f v
f v v f v v v f v v v f v
f v f f v v f f v f f f v
f f v v f v v f f v f f v
f f f v f v v f f v f f v

 Tabla de verdad Simulador UNAD

  Demostración de la validez del argumento mediante las Leyes de Inferencia:

P1: p v q

P2: p → r

P3: q→ r

P4: ∼q

P5: r ……… Simplificación disyuntiva entre P1, P2 y P3

P6: p …….. Modus Tollendo Ponens entre P1 y P4

P7: r ∧ p … Adjunción entre P5 y P6

Conclusión: r ∧ p

Referencias
Rodríguez Vallejo, R. Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. Madrid: Editorial

Tébar Flores, 2014. p. Recuperado de:

https://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/51977?page=28