Descripción del ejercicio:

A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:

A.
p: La marihuana es legal en Colombia
q: En Colombia disminuye el microtráfico
r: En Colombia disminuye el delito de hurto

Lenguaje simbólico
𝒑 → (𝒒 ∧ 𝒓)

Lenguaje Natural

Si la marihuana es legal es Colombia entonces en Colombia disminuye el microtrafico y

en Colombia disminuye el delito de hurto

Tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el resultado

es una tautología, contingencia o contradicción
Primero calculamos mediante la ecuación 2n el número de filas, observamos que hay tres
proposiciones simples, entonces 2³ = 2˟2˟2 = 8 filas

𝒑 → (𝒒 ∧ 𝒓)

p q r q^r p→(q^r)

v v v v v

v v f f f

v f v f f

v f f f f

f v v v v

f v f f v

f f v f v

f f f f v

Se clasifica como contingencia

Tabla de verdad Simulador UNAD
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.

A. Expresión simbólica

p→q r p ∨ ¬q

p s q

q r∧s p

Solución

 Nombre la ley de inferencia que representa cada expresión simbólica

En la primera expresión simbólica la ley de inferencia que representa es Modus Ponendo
Ponens

En la segunda es la ley adjunción

Y la última expresión es Tollendo ponens

 Definición de las proposiciones

P Greiss Estudia psicología en una UCC

Q Greiss aprobó todas sus materias

R Andrés le pregunta a su compañero sobre la actividad que no entiende

S Andrés recibió una explicación del compañero

P Mario cumple con todas las actividades del trabajo

Q Mario revisa y comprenden todas las actividades de su trabajo

̶ q Mario no revisa y comprende todas las actividades de su trabajo

 3
Construcción del lenguaje natural de cada ley de inferencia expresada en el lenguaje
simbólico

 Modus Ponendo Ponens

Si gre