E. 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.
[(𝒑∨𝒒)↔𝒓]

Escriba la proposición compuesta propuesta en lenguaje natural.

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

manifestaciones el dólar subió, si y solo si , La Reforma tributaria desata la violencia.

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

determinar si el resultado es una tautología, contingencia o contradicción.

p q r (pvq ((pvq)↔r)
)
F F F F V
F F V F F
F V F V F
F V V V V
V F F V F
V F V V V
V V F V F
V V V V V

Es un contingencia

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

Descripción del ejercicio:

 A continuación, encuentra el lenguaje simbólico de expresiones que representan
algunas leyes de inferencia.
Expresión simbólica

➢ Nombrar la ley de inferencia que representa cada

expresión simbólica.

(MPP) Conjunción Simplificación

disyuntiva

➢ Definir las proposiciones simples, tendrá la libertad de definirlas

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

p Edwin estudia en la UNAD

q Edwin esta en clases de Lógica matemática
r Edwin está en IV semestre de Trabajo Social.
s. El programa de trabajo social pertenece a la faculta de humanidades
 Construir el lenguaje natural de cada ley de Inferencia expresada en
lenguaje simbólico

Si Edwin no estudia en la UNAD, entonces Edwin no está en la clases

de logia matemática. Edwin no estudia en la UNAD por lo tato Edwin no
está en la clases de Lógica matemática.

Edwin estudia en la UNAD y está en clases de Lógica matemática.

Edwin estudia en la UNAD o Edwin está en IV semestre de Trabajo Social.. Si

Edwin estudia en la UNAD, entonces e Edwin pertenece a la faculta de humanidades. Si
Edwin está en IV semestre de Trabajo Social, entonces Edwin pertenece a la faculta de
humanidades, por lo tanto Edwin pertenece la facultad de humanidades.
3. Descripción del ejercicio:
A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:

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.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:
➢ Identificar la conclusión del 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
➢ Nombrar la ley de inferencia que se aplica para probar elargumento.
Modus Ponendo Pones (MPP)
➢ Definir la expresión del argumento en lenguaje simbólico o formal
P→Q
P
Q
 4. Descripción del ejercicio:
A continuación, encontrará la expresión simbólica, las premisas
y la conclusión de un argumento para el desarrollo del ejercicio 4

[(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
Lenguajes natural

p Edwin estudia en la UNAD

q Edwin esta en clases de Lógica matemática
r Edwin está en IV semestre de Trabajo Social.
[(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q] → (r ∧ p)
SI Edwin estudia en la UNAD o esta en clases de Lógica matemática, y Si
estudia en la UNAD entonces está en IV semestre de Trabajo Social, y esta
en clases de Lógica matemática entonces está en IV semestre de Trabajo
Social y no estudia en la UNAD, entonces está en IV semestre de Trabajo
Social y estudia en la UNAD.

P1: p v q Edwin estudia en la UNAD o está en clases de Lógica matemática

P2: p → r Si Edwin estudia en la UNAD entonces está en IV semestre de
Trabajo Social.

P3: q→ r Si Edwin esta en clases de Lógica matemática entonces está en

IV semestre de Trabajo Social.
P4: ∼q Edwin no esta en clases de Lógica matemática

Conclusión: r ∧ p
Edwin está en IV semestre de Trabajo Social o estudia en la UNAD.

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

p q r (pvq) (p→r) ((pvq)^(p→r)) (q→r) (p v q) ∧ (p → (~q) [(p v q) ∧ (p → r) (r^q [(p v q) ∧ (p → r) ∧ (q→

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

F F F F V F V F V F F V
F F V F V F V F V F F V
F V F V V V F F F F F V
F V V V V V V V F F V V
V F F V F F V F V F F V
V F V V V V V V V V F F
V V F V F F F F F F F V
V V V V V V V V V V V V

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

inferencia lógica

P1: p v q conjunción
P2: p→r
P3: q→ r
P4: ∼q negación
P5 Silogismo hipotético entre P2 y P3
P6 Modus Tollendo Tollens (TT) P1 y P4