1708 Condicional Asociado U3 Jose Palacios

Condicional asociado

Aplica los pasos que corresponden al método del condicional asociado para demostrar argumentos deductivos en las simbolizaciones que aquí se muestran. Argumento 1

Premisa 1: (p ˅ q) Premisa 2: ~ q Conclusión: Conclusión: p {[(p ˅ q) ˄~ q] ᵙ p}

[(p V V F F

˅

V V V F

q) V F V F

˄

F V F F

~ q] F V F V

ᵙ

V V V V

p V V F F

Es un argumento: Tautológico

Argumento 2

Premisa 1: (p ᵙ q) Premisa 2: ~ q Conclusión: Conclusión: ~ p {[(p ᵙ q) ˄~ q] ᵙ ~ p}

[(p V V F F

ᵙ

V F V V

q) V F V F

˄

F F F V

~ q] F V F V

Es un argumento: Tautológico

ᵙ

V V V V

~p F F V V

Argumento 3

Premisa 1: (p ≡ q) Premisa 2: (q v r) Conclusión: q {[(p

[(p V V V V F F F F

 q) ˄ (q v r)] ᵙ q}

≡

≡

V V F F F F V V

q) V V F F V V F F

˄

V V F F F F F F

(q V V F F V V F F

Es un argumento: Contingente

v V V V F V F V F

r)] V F V F V F V F

ᵙ

V V F V V V F V

q V V F F V V F F