Instituto De Educación Digital Del Estado De

Puebla
Jennifer Sandoval Ruiz

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: p

{[(p ˅ q) ˄~ q] ᵙ p}

[(p ˅ q) ˄ ~ q] ᵙ p
V V V F F V V
V V F V V V V
F V V F F V F
F F F F V V F

Es un argumento: Tautológico
Argumento 2

Premisa 1: (p ᵙ q)
Premisa 2: ~ q
Conclusión: ~ p

{[(p ᵙ q) ˄~ q] ᵙ ~ p}

[(p ᵙ q) ˄ ~ q] ᵙ ~p
V V V F F V F
V F F F V V F
F V V F F V V
F V F V V V V

Es un argumento: Tautológico

Argumento 3

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

{[(p ≡ q) ˄ (q v r)] ᵙ q}

[(p ≡ q) ˄ (q v r)] ᵙ q
 V V V V V V V V V
V V V V V V F V V
V F F F F V V F F
V F F F F F F V F
F F V F V V V V V
F F V F V F F V V
F V F F F V V F F
F V F F F F F V F

Es un argumento: Contingente