Nothing Special   »   [go: up one dir, main page]

Ejercicio 2 - Tarea 4

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 2

Ejercicio 2: Métodos para probar la validez de un argumento.

a. Expresión simbólica: {[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)

Premisas:

P1: (𝑝 → 𝑞) ∨ 𝑟

P2: 𝑟 →∼ 𝑝

P3: 𝑝 ∧ 𝑠

Conclusión: 𝑞 ∧ 𝑠
∼𝒑 (𝒑 → 𝒒) [(𝒑 → 𝒒) ∨ 𝒓] (𝒓 →∼ 𝒑) [(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) (𝒑 ∧ 𝒔) {[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 (𝒒 ∧ 𝒔) {[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧
p q r s →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)}
(𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)
V V V V F V V F F V F V V
V V V F F V V F F F F F V
V V F V F V V V V V V V V
V V F F F V V V V F F F V
V F V V F F V F F V F F V
V F V F F F V F F F F F V
V F F V F F F V F V F F V
V F F F F F F V F V F F V
F V V V V V V V V V F V V
F V V F V V V V V V F F V
F V F V V V V V V V F V V
F V F F V V V V V V F F V
F F V V V V V V V V F F V
F F V F V V V V V V F F V
F F F V V V V V V V F F V
F F F F V V V V V V F F V

a. Expresión simbólica: {[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)

P: Los estudiantes leen

q: Pasan el semestre

r: Escuchan música

S: Obtienen un reconocimiento

SI los estudiantes leen, Entonces pasan el semestre O Escuchan música, Y SI escuchan música
Entonces no leen, Y SI los estudiantes leen Y obtienen un reconocimiento. Entonces por lo tanto
pasan el semestre Y obtienen un reconocimiento.

También podría gustarte