https://www.glc.us.es/~jalonso/LMF2018/index.php?action=history&feed=atom&title=R2
R2 - Historial de revisiones
2026-07-23T16:35:37Z
Historial de revisiones para esta página en el wiki
MediaWiki 1.31.14
https://www.glc.us.es/~jalonso/LMF2018/index.php?title=R2&diff=60&oldid=prev
Mjoseh: Protegió «R2» ([edit=sysop] (indefinido) [move=sysop] (indefinido))
2018-02-19T11:33:25Z
<p>Protegió «<a href="/~jalonso/LMF2018/index.php/R2" title="R2">R2</a>» ([edit=sysop] (indefinido) [move=sysop] (indefinido))</p>
<table class="diff diff-contentalign-left" data-mw="interface">
<tr class="diff-title" lang="es">
<td colspan="1" style="background-color: #fff; color: #222; text-align: center;">← Revisión anterior</td>
<td colspan="1" style="background-color: #fff; color: #222; text-align: center;">Revisión del 11:33 19 feb 2018</td>
</tr><tr><td colspan="2" class="diff-notice" lang="es"><div class="mw-diff-empty">(Sin diferencias)</div>
</td></tr></table>
Mjoseh
https://www.glc.us.es/~jalonso/LMF2018/index.php?title=R2&diff=59&oldid=prev
Mjoseh: Página creada con ' === Relación 2: Deducción natural en lógica proposicional === ---- '''Ejercicio 1.''' Demostrar mediante deducción natural: : (p → q) → r ⊧ p → (q → r) ---- '''...'
2018-02-19T11:33:18Z
<p>Página creada con ' === Relación 2: Deducción natural en lógica proposicional === ---- '''Ejercicio 1.''' Demostrar mediante deducción natural: : (p → q) → r ⊧ p → (q → r) ---- '''...'</p>
<p><b>Página nueva</b></p><div><br />
=== Relación 2: Deducción natural en lógica proposicional ===<br />
<br />
----<br />
'''Ejercicio 1.''' Demostrar mediante deducción natural:<br />
: (p → q) → r ⊧ p → (q → r)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 2.''' Demostrar mediante deducción natural:<br />
: (p → q) ∧ (p → r) ⊧ p → q ∧ r<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 3.''' Demostrar mediante deducción natural:<br />
: (p → r) ∧ (q → r) ⊧ p ∨ q → r<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 ∧ ¬q ⊧ ¬(p ∨ q)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 6.''' Demostrar mediante deducción natural:<br />
: ⊧ ((p → q) → p)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
<br />
----<br />
'''Ejercicio 7.''' Demostrar mediante deducción natural:<br />
: (p → q) ∨ (q → p)<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 8.''' Demostrar mediante deducción natural:<br />
: ¬(¬p ∧ ¬q) ⊧ p ∨ q<br />
----<br />
<br />
'''Solución:'''</div>
Mjoseh