UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS

LÓGICA MATEMÁTICA

PRESENTADO POR:
TRUJILLO HENAO JEFERSSON GIUSEP

PRESENTADO A:
MEJIA CAROLINA

COD. 20122167054

BOGOTÁ D.C. 11 DE SEPTIEMBRE DE 2021

 EJERCICIO PÁGINA 46 INCISO 1

1. Demuestre ( α →β)→((β → γ )→( α → γ )) sin usar TD

DEMOSTRACIÓN:

1. α →(β → γ ) A1 α= γ

2. ( α →( β→ γ ))→(( α → β)→(( β → γ )→( α → γ ))) A2 α ≈β → γ , γ ≈α → γ

3. ( α →β)→((β → γ )→( α → γ )) MP 1,2