B@UNAM

Bachillerato a distancia B@GTO

BGTO1800092
ASESOR: Elvia del Carmen Ramos Dávila
ALUMNA: María Teresa Zavala Soto
MATERIA: Lógica para la Solución de Problemas
UNIDAD: 1 ACTIVIDAD: 2
FECHA: 27/09/19

Actividad 2. Condicional asociado

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)
1Premisa 2: ~ q
Conclusión: p

[(p v q) ∧ ~ q] ᵙ p

1 2 3 4 5 6 7

p q [(p v q ∧ ~ q] ᵙ p
V V V V V F F V V
V F V V F V V V V
F V F V V F F V F
F F F F F F V V F

Resultado final tautología

Argumento 2

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

1 2 3 4 5 6 7
p q [(p ᵙ q) ∧ ~ q] ᵙ ~p
V V V V V F F V F
V F V F F F V V F
F V F V V F F V V
F F F V F V V V V

Resultado final tautología

Argumento 3

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

[(p ≡ q) ∧ (q v r)] ᵙ q
1 2 3 4 5 6 7 8 9
p q [(p ≡ q) ∧ (q v r)] ᵙ q
V V V V V V V V V V V
V V V V V V V V F V V
V F V F F F F V V V F
V F V F F F F F F V F
F V F F V F V V V V V
F V F F V F V V F V V
F F F V F V F V V F F
F F F V F F F F F V F

Seria contingencia porque hay una falsedad una duda