Ver el código de «R2» - Lógica matemática y fundamentos (2018-19)


=== Relación 2: Deducción natural en lógica proposicional ===


----
'''Ejercicio 1.''' Demostrar mediante deducción natural:
: p ⊧ q → p
----

'''Solución:'''
[[Archivo:R2-ej1.png]]
----
'''Ejercicio 2.''' Demostrar mediante deducción natural:
: (p → q) → r ⊧ p → (q → r)
----

'''Solución:'''

----
'''Ejercicio 3.''' Demostrar mediante deducción natural:
: (p → q) ∧ (p → r) ⊧ p → q ∧ r
----

'''Solución:'''

----
'''Ejercicio 4.''' Demostrar mediante deducción natural:
: (p → r) ∧ (q → r) ⊧ p ∨ q → r
----

'''Solución:'''

----
'''Ejercicio 5.''' Demostrar mediante deducción natural:
: ( p ∨ q ) ∧ ( p ∨ r ) ⊧ p ∨ ( q ∧ r )
----

'''Solución:'''


----
'''Ejercicio 6.''' Demostrar mediante deducción natural:
: (p → r) ∨ (q → s) ⊧ (p ∧ q) → (r ∨ s)
----

'''Solución:'''


----
'''Ejercicio 7.''' Demostrar mediante deducción natural:
: (p → r) ∧ (q → r) ⊧ (p ∨ q) → r
----

'''Solución:'''


----
'''Ejercicio 8.''' Demostrar mediante deducción natural:
: (p ∧ q → r) ⊧ p → (q → r)
----

'''Solución:'''