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 letra E:

e. Expresión simbólica: [(𝑝⟶𝑞)∧(∼𝑟⟶𝑠)∧(𝑝∨∼𝑟)]⟶(𝑞∨𝑠)

Premisas:

P1: 𝑝⟶𝑞

P2: ∼𝑟⟶𝑠

P3: 𝑝∨∼𝑟

Conclusión: 𝑞∨𝑠

A partir de la expresión simbólica seleccionada, el estudiante deberá:

Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en

un contexto, el que se solicita es un contexto académico

P: pedro vive en casa de paola

q: es un inquilino

r: no son familiares

s: son amigos

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante.

Pedro vive en casa de paola entonces pedro es un inquilino y no son familiares entonces son

amigos y pedro vive en casa de paola y no son familiares. Entonces es un inquilino y son amigos.

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 (En Word, Excel o foto

del desarrollo manual).

 (𝑝 → 𝑞) [(𝑝 → 𝑞)

∧ (~𝑟 → 𝑠) ∧ (~𝑟 → 𝑠)
p q ~r 𝑠 (𝑝 → 𝑞) (∼ 𝑟 (𝐩 ∨ (𝑞 ∨ 𝑠)
∧ (𝑝 ∨ ~𝐫) ∧ (𝑝 ∨ ~𝐫)]
⟶ 𝑠) ∼ 𝐫)
→ (𝑞 ∨ 𝑠)

V V V V V V V V V V

V V V F V V V V V V

V V F V V F V F V V

V V F F V F V F V F

V F V V V V V F V F

V F V F V V V F V F

V F F V V F V F V F

v F F F V F V F F F

F V V V F V F F F V

F V V F F V F F F V

F V F V F F F F F V

F V F F F F F F F F

F F V V F V F F F V

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

F F F F F F F F F F

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

a. Expresión simbólica: [(𝐩 ⟶ 𝐪) ∧ (∼ 𝐫 ⟶ 𝐬) ∧ (𝐩 ∨∼ 𝐫)] ⟶ (𝐪 ∨ 𝐬)

Premisas

Premisas:

P1: 𝑝⟶𝑞

P2: ∼𝑟⟶𝑠

P3: 𝑝∨∼𝑟

Conclusión: 𝑞∨𝑠