https://www.glc.us.es/~jalonso/LMF2018/api.php?action=feedcontributions&feedformat=atom&user=Javferrod5
Lógica matemática y fundamentos (2017-18) - Contribuciones del usuario [es]
2026-07-22T13:12:47Z
Contribuciones del usuario
MediaWiki 1.31.14
https://www.glc.us.es/~jalonso/LMF2018/index.php?title=Relaci%C3%B3n_3&diff=96
Relación 3
2018-03-14T21:49:20Z
<p>Javferrod5: /* Relación 3: Deducción natural en lógica proposicional */</p>
<hr />
<div><br />
=== Relación 3: Deducción natural en lógica proposicional ===<br />
<br />
----<br />
'''Ejercicio 1.''' Demostrar mediante deducción natural:<br />
: ( p ∨ q ) ∧ ( p ∨ r ) ⊧ p ∨ ( q ∧ r )<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 2.''' Demostrar mediante deducción natural:<br />
: p ∨ q ⊧ ¬(¬ p ∧ ¬ q )<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 3.''' Demostrar mediante deducción natural:<br />
: ¬ p ∨ ¬ q ⊧ ¬( p ∧ q )<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 4.''' Demostrar mediante deducción natural:<br />
: {p → r, r → ¬ q} ⊧ ¬(p ∧ q)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 5.''' Demostrar mediante deducción natural:<br />
: (p → r) ∨ (q → s) ⊧ (p ∧ q) → (r ∨ s)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 6.''' Demostrar mediante deducción natural:<br />
: p → (q ∧ r) ⊧ (p → q) ∨ (p → r)<br />
----<br />
<br />
'''Solución:'''</div>
Javferrod5
https://www.glc.us.es/~jalonso/LMF2018/index.php?title=Relaci%C3%B3n_3&diff=95
Relación 3
2018-03-14T21:49:07Z
<p>Javferrod5: /* Relación 3: Deducción natural en lógica proposicional */</p>
<hr />
<div><br />
=== Relación 3: Deducción natural en lógica proposicional ===<br />
<br />
----<br />
'''Ejercicio 1.''' Demostrar mediante deducción natural:<br />
: ( p ∨ q ) ∧ ( p ∨ r ) ⊧ p ∨ ( q ∧ r )<br />
----<br />
<br />
'''Solución:'''<br />
file:///Users/apple/Desktop/Captura%20de%20pantalla%202018-03-14%20a%20las%2023.21.47.png<br />
<br />
----<br />
'''Ejercicio 2.''' Demostrar mediante deducción natural:<br />
: p ∨ q ⊧ ¬(¬ p ∧ ¬ q )<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 3.''' Demostrar mediante deducción natural:<br />
: ¬ p ∨ ¬ q ⊧ ¬( p ∧ q )<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 4.''' Demostrar mediante deducción natural:<br />
: {p → r, r → ¬ q} ⊧ ¬(p ∧ q)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 5.''' Demostrar mediante deducción natural:<br />
: (p → r) ∨ (q → s) ⊧ (p ∧ q) → (r ∨ s)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 6.''' Demostrar mediante deducción natural:<br />
: p → (q ∧ r) ⊧ (p → q) ∨ (p → r)<br />
----<br />
<br />
'''Solución:'''</div>
Javferrod5
https://www.glc.us.es/~jalonso/LMF2018/index.php?title=Relaci%C3%B3n_3&diff=94
Relación 3
2018-03-14T21:46:30Z
<p>Javferrod5: /* Relación 3: Deducción natural en lógica proposicional */</p>
<hr />
<div><br />
=== Relación 3: Deducción natural en lógica proposicional ===<br />
<br />
----<br />
'''Ejercicio 1.''' Demostrar mediante deducción natural:<br />
: ( p ∨ q ) ∧ ( p ∨ r ) ⊧ p ∨ ( q ∧ r )<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 2.''' Demostrar mediante deducción natural:<br />
: p ∨ q ⊧ ¬(¬ p ∧ ¬ q )<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 3.''' Demostrar mediante deducción natural:<br />
: ¬ p ∨ ¬ q ⊧ ¬( p ∧ q )<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 4.''' Demostrar mediante deducción natural:<br />
: {p → r, r → ¬ q} ⊧ ¬(p ∧ q)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 5.''' Demostrar mediante deducción natural:<br />
: (p → r) ∨ (q → s) ⊧ (p ∧ q) → (r ∨ s)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 6.''' Demostrar mediante deducción natural:<br />
: p → (q ∧ r) ⊧ (p → q) ∨ (p → r)<br />
----<br />
<br />
'''Solución:'''</div>
Javferrod5
https://www.glc.us.es/~jalonso/LMF2018/index.php?title=Relaci%C3%B3n_3&diff=93
Relación 3
2018-03-14T21:45:45Z
<p>Javferrod5: /* Relación 3: Deducción natural en lógica proposicional */</p>
<hr />
<div><br />
=== Relación 3: Deducción natural en lógica proposicional ===<br />
<br />
----<br />
'''Ejercicio 1.''' Demostrar mediante deducción natural:<br />
: ( p ∨ q ) ∧ ( p ∨ r ) ⊧ p ∨ ( q ∧ r )<br />
----<br />
<br />
'''Solución:'''<br />
/var/folders/jp/ctct5qm11jj0nkdf206995rh0000gn/T/com.apple.Preview/PreviewTemp-HogQRR/IV1Ok.png<br />
<br />
<br />
----<br />
'''Ejercicio 2.''' Demostrar mediante deducción natural:<br />
: p ∨ q ⊧ ¬(¬ p ∧ ¬ q )<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 3.''' Demostrar mediante deducción natural:<br />
: ¬ p ∨ ¬ q ⊧ ¬( p ∧ q )<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 4.''' Demostrar mediante deducción natural:<br />
: {p → r, r → ¬ q} ⊧ ¬(p ∧ q)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 5.''' Demostrar mediante deducción natural:<br />
: (p → r) ∨ (q → s) ⊧ (p ∧ q) → (r ∨ s)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 6.''' Demostrar mediante deducción natural:<br />
: p → (q ∧ r) ⊧ (p → q) ∨ (p → r)<br />
----<br />
<br />
'''Solución:'''</div>
Javferrod5
https://www.glc.us.es/~jalonso/LMF2018/index.php?title=Relaci%C3%B3n_3&diff=90
Relación 3
2018-03-14T21:36:48Z
<p>Javferrod5: /* Relación 3: Deducción natural en lógica proposicional */</p>
<hr />
<div><br />
=== Relación 3: Deducción natural en lógica proposicional ===<br />
<br />
----<br />
'''Ejercicio 1.''' Demostrar mediante deducción natural:<br />
: ( p ∨ q ) ∧ ( p ∨ r ) ⊧ p ∨ ( q ∧ r )<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
<br />
----<br />
'''Ejercicio 2.''' Demostrar mediante deducción natural:<br />
: p ∨ q ⊧ ¬(¬ p ∧ ¬ q )<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 3.''' Demostrar mediante deducción natural:<br />
: ¬ p ∨ ¬ q ⊧ ¬( p ∧ q )<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 4.''' Demostrar mediante deducción natural:<br />
: {p → r, r → ¬ q} ⊧ ¬(p ∧ q)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 5.''' Demostrar mediante deducción natural:<br />
: (p → r) ∨ (q → s) ⊧ (p ∧ q) → (r ∨ s)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 6.''' Demostrar mediante deducción natural:<br />
: p → (q ∧ r) ⊧ (p → q) ∨ (p → r)<br />
----<br />
<br />
'''Solución:'''</div>
Javferrod5