Ejercicio 4 letra E

E. Expresión simbólica:

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

P: Juan es un atleta

q: también le gusta nadar

r: los Colombianos participaron en los juegos olímpicos

∼q: No le gusta nadar

Lenguaje natural

Si Juan es un atleta o también le gusta nadar y juan es un atleta entonces los colombianos
participaron en los juegos olímpicos y también le gusta nadar entonces los colombianos
participaron en los juegos olímpicos y no le gusta nadar si entonces los colombianos participaron
en los juegos olímpicos y juan es un atleta
Expresión simbólica: [(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q] → (r ∧ p)

Proposiciones simples

1 p

2q

3 r

4 ∼q

Premisas:

5: p v q

6: p → r

7: q→ r

8: r ∧ p

Relación entre premisas

9: [(p v q) ∧ (p → r)

10: [(p v q) ∧ (p → r) ∧ (q→ r)

11: [(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q]

12: [(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q] → (r ∧ p)

p q r ∼q pvq p → r q→ rr r∧ p [(p v q) [(p v q) [(p v q) ∧ (p → r) [(p v q) ∧ (p → r)

∧ (p → ∧ (p → ∧ (q→ r) ∧ ∼q] ∧ (q→ r) ∧ ∼q]
r) r) ∧ (q→ → (r ∧ p)
r)
V V V F V V V V V V V V
V V F F V F F F F F F V
V F V V V V V V V V V V
V F F V V F V F F F V V
F V V F V V V F V V V V
F V F F V V F F V F F V
F F V V F V V F F F F V
F F F V F V V F F F F V
ES UNA TAUTOLOGIA
Demostración de argumento

Premisas

P1: p v q

P2: p → r

P3: q→ r

P4: ∼q

P5: P Simplificación S

P6: r Simplificación disyuntiva SD

P7: q Adjunción A

Conclusión r ∧ p