Ejercicio 4 letra C

4.C. Expresión simbólica.

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

Premisas:

P1: ∼q v p

P2: s → ∼p

P3: s

Conclusión: ∼p ∧ ∼q

Q: tomo un helado

P: tomo un salpicón

S: me apetece el almuerzo

P1. No tomo un helado y tomo un salpicón

P2. Me apetece el almuerzo entonces no tomo salpicón.

P3. Me apetece el almuerzo.

Conclusión: no tomo helado y no tomo salpicón.

p q s ∼q ∼p (∼qvp) (s→∼p) (∼qvp) ∧(s→∼p [(∼qvp) ∧(s→∼p) (∼p∧∼q) [(∼pvp) ∧(s→∼p) ∧s]
∧s] → (∼p∧∼q)
V V V F F V F F f F V
V V F F F V V V F F V
V F V V F V F F f F V
V F F V F V V V f F V
F V V F V F V F F F V
F V F F V F V F F F V
f F V V V V V V V V V
f f f V V v V v f V v