Ejercicio #3 Literal C

C) Expresión simbólica

[(p v q) ᴧ ~ p ᴧ (q→r) ᴧ s] →(r ᴧ s)

P1: (p v q)

P2: (~ p)

P3: (q→r)

P4: s

Conclusion (r ᴧ s)

Demostración

Paso 1: obtención de la premisa 5, se aplica la ley de modus tollendo ponnens entre las
premisas 1 y2.

P1: (p v q)

P2: (~ p)

P5: q

(MTP) (1, 2)

Paso 2: obtención de la premisa 6, se observó las premisas 5 y 3 y se aplica el modo:

modus ponens poniendo pongo.

P3: q →r

P5: q

P6: r

MPP (3,5)

Paso 3: obtención de la premisa 7 al comparar las premisas 4 y 6 puedo aplicar la ley de

adjunción.
P4: s

P6: r

P7: r ᴧ s

2A (4,6)

Premisa Ley de interacion aplicada Premisa usada

P5: q Modus tollendo ponnens P1 Y P2
(MTP)
P6: r Modus ponens pones (MPP) P3 Y P5
P7 Ley de adjuncion (LA) P4 Y P6

Simulador del punto 3

Ejercicio #4 Literal C

C) Exposición simbólica

[p ᴧ(p→~r) ᴧ (q v r)] → (q ᴧ p)

P1: p
P2: (P→~ r)
P3 (q v r)

Conclusión: q ᴧ p

Proposiciones simples:

P: Diana se va de vacaciones a España.

q: Diana estudia Medicina en la universidad de España.

r: Diana estudia ingeniería en la UNAD.

Lenguaje natural

Diana se va de vacaciones a España y si diana se va de vacaciones a España

entonces Diana no estudia ingeniería en la UNAD y Diana estudia medicina en
España o Diana estudia ingeniería en la UNAD. Si Diana estudia medicina en
España y se va de vacaciones a España.

P q r ~r p→~r qvr pᴧ(→~r) ᴧ(qvr) (q ᴧp) [p ᴧ(p→~r) ᴧ (q v r)] → (q ᴧ p)

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

Demostración de la valides del argumento.

P1: p

P2: (p→ ~r)

P3: (q v r)
P→ ~ r

P
~r
P4: ~ r… modus ponens P2 y P1

qvr

~r
q

P5: q silogismo disyuntivo P2 y P4

qᴧp

ley de conjunción P5 y P1
Simulados del punto 4