https://www.glc.us.es/~jalonso/LMF2016/index.php?action=history&feed=atom&title=R10
R10 - Historial de revisiones
2026-07-19T08:27:26Z
Historial de revisiones para esta página en el wiki
MediaWiki 1.31.14
https://www.glc.us.es/~jalonso/LMF2016/index.php?title=R10&diff=203&oldid=prev
Mjoseh: Protegió «R10» ([edit=sysop] (indefinido) [move=sysop] (indefinido))
2016-04-28T06:20:30Z
<p>Protegió «<a href="/~jalonso/LMF2016/index.php/R10" title="R10">R10</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 06:20 28 abr 2016</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/LMF2016/index.php?title=R10&diff=202&oldid=prev
Mjoseh: Página creada con ' === Relación 10: Tableros semánticos en LPO === ---- '''Ejercicio 1.''' Decidir por tableros semánticos, si: ∀x (P(x) → Q(x)) ⊧ (∃x P(x)) → (∃ x Q(x)) ---- ...'
2016-04-28T06:20:23Z
<p>Página creada con ' === Relación 10: Tableros semánticos en LPO === ---- '''Ejercicio 1.''' Decidir por tableros semánticos, si: ∀x (P(x) → Q(x)) ⊧ (∃x P(x)) → (∃ x Q(x)) ---- ...'</p>
<p><b>Página nueva</b></p><div><br />
=== Relación 10: Tableros semánticos en LPO ===<br />
<br />
----<br />
'''Ejercicio 1.''' Decidir por tableros semánticos, si:<br />
<br />
∀x (P(x) → Q(x)) ⊧ (∃x P(x)) → (∃ x Q(x))<br />
<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 2.''' Decidir por tableros semánticos, si:<br />
<br />
⊧ ∀x (P(x) → R(x,x)) → ∀x ∃ y (R(x,y) ∨ ¬ P(y))<br />
<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 3.''' Decidir por tableros semánticos, si:<br />
<br />
∀x ∃ y (R(x,y) ∨ ¬ P(y)) ⊧ ∀x (P(x) → R(x,x))<br />
<br />
<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 4.''' Decidir por tableros semánticos, si:<br />
<br />
<br />
∀x ∀ y (R(x,y) → R(y,x)) ⊧ ∀x ∀y ∀z (R(x,y) ∧ R(x,z) → ∃u (R(y,u) ∧ R(z,u)))<br />
<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 5.''' Decidir por tableros semánticos, si:<br />
<br />
* ⊧ (∃x P(x)) → P(a)<br />
* {∀x(P(x) → Q(x)), ∀y(Q(a) ∨ R(y) → S(a))} ⊧ ∀x (P(x) → S(a))<br />
<br />
----<br />
<br />
'''Solución:'''</div>
Mjoseh