2.

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

de inferencia.

A. Expresión simbólica

¬p → ¬q
q
p

Modus Tolendo Tolens

p: Juan es estudiante de la UNAD

q: Juan es un gran estudiante.

Si Juan no es estudiante de la UNAD, entonces, Juan no es un gran estudiante. Juan es un gran

estudiante, por lo tanto, Juan es estudiante de la UNAD.

p → ¬q
p
¬q

Modus Ponendo Ponens

p: Juan es estudiante de la UNAD

q: Juan es un gran estudiante.

Si Juan es estudiante de la UNAD, entonces, Juan no es un gran estudiante. Juan es un gran

estudiante, por lo tanto, Juan no es estudiante de la UNAD.

p→q
q→r
p→r

Silogismo hipotético

p: Juan es estudiante de la UNAD

q: Juan es un gran estudiante.

r: Juan se gana una beca por rendimiento académico

Si Juan es estudiante de la UNAD, entonces, Juan es un gran estudiante. Si Juan es un gran

estudiante, entonces, Juan se gana una beca por rendimiento académico. Por lo tanto, Si Juan es
estudiante de la UNAD, entonces, Juan se gana una beca por rendimiento académico
3. Ejercicio:

A. Los teléfonos son aparatos electrónicos o los aparatos electrónicos tienen enchufe. Los aparatos
electrónicos no tienen enchufe.

a. Conclusión: Los teléfonos son aparatos electrónicos

b. Ley de inferencia aplicada: Silogismo Disyuntivo (SD)

c. Lenguaje simbólico:

p: Los teléfonos son aparatos electrónicos

q: Los aparatos electrónicos tienen enchufe

p v q
¬q
p

Silogismo Disyuntivo (SD)

4. Problemas de aplicación.

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

Tabla de la verdad manual

p q s ¬𝑞 ¬s (𝑝 → 𝑞) (𝑝 ∨ 𝑠) (¬ s ∧ ¬𝑞) (𝑝 → 𝑞) ∧ [(𝑝 → 𝑞) ∧ [(𝑝 → 𝑞) ∧ (𝑝 ∨

(𝑝 ∨ 𝑠) (𝑝 ∨ 𝑠) ∧ (¬ 𝑠) ∧ (¬ s ∧ ¬𝑞)]
s ∧ ¬𝑞)] →𝑞
v v V F F V v F V F V
v v F F V V V F V F V
v f v V F F V F F F V
v f F V V F V V F F V
f v V F F V V F V F V
f v F F V V F F F F V
f f V V F V V F V F V
f f f v V V F V F F V
Tabla de la verdad simulada

Premisas:

P1:(𝑝 → 𝑞)

P2: (𝑝 ∨ 𝑠)

P3:(¬ s ∧ ¬𝑞)

Conclusión: q

Para realizar la demostración anterior se va a partir de lo siguiente:

P3: ¬ s ∧ ¬𝑞 que por simplificación puedo extraer ¬ s la cual será mi P4.

P4: ¬ s.

Luego tomando la premisa P2: 𝑝 ∨ 𝑠

P4: ¬ s. se obtiene la premisa P5: p aplicando Modus Tollendo Pones

P5: p.

Por último, si tomo las premisas P1:(𝑝 → 𝑞) y P5: p. P1: (𝑝 → 𝑞)

P5: p por Modus Ponendo Pones se

obtiene la premisa P6: q que es la demostración que se solicitaba.

p= La Unad es una gran universidad

q= Yo soy un gran estudiante

s= seré un gran profesional.

P1:(𝑝 → 𝑞) Sí la Unad es una gran universidad entonces Yo soy un gran estudiante

P2: (𝑝 ∨ 𝑠) La Unad es una gran universidad o seré un gran profesional

P3:(¬ s ∧ ¬𝑞) No seré un gran profesional. Y No Yo soy un gran estudiante

Conclusión: q Yo soy un gran estudiante