R15 - Historial de revisiones

Mjoseh en 07:59 17 may 2015

2015-05-17T07:59:18Z

Mjoseh: Protegió «R15» ([edit=sysop] (indefinido) [move=sysop] (indefinido))

2015-05-15T11:44:45Z

Protegió «R15» ([edit=sysop] (indefinido) [move=sysop] (indefinido))

Mjoseh en 11:44 15 may 2015

2015-05-15T11:44:34Z

Mjoseh: Página creada con ' === Relación 15: Tableros semánticos en LPO === ---- '''Ejercicio 1.''' Decidir por tableros semánticos, si: ∀x (P(x) → Q(x)) ⊧ (∃x P(x)) → (∃ x Q(x)) ---- ...'

2015-05-15T11:42:46Z

Página creada con ' === Relación 15: 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ágina nueva

=== Relación 15: Tableros semánticos en LPO ===

----
'''Ejercicio 1.''' Decidir por tableros semánticos, si:

∀x (P(x) → Q(x)) ⊧ (∃x P(x)) → (∃ x Q(x))

----

'''Solución:'''

----
'''Ejercicio 2.''' Decidir por tableros semánticos, si:

⊧ ∀x (P(x) → R(x,x)) → ∀x ∃ y (R(x,y) ∨ ¬ P(y))

----

'''Solución:'''

----
'''Ejercicio 3.''' Decidir por tableros semánticos, si:

∀x ∃ y (R(x,y) ∨ ¬ P(y)) ⊧ ∀x (P(x) → R(x,x))

----

'''Solución:'''

----
'''Ejercicio 4.''' Decidir por tableros semánticos, si:

∀x ∀ y (R(x,y) → R(y,x)) ⊧ ∀x ∀y ∀z (R(x,y) ∧ R(x,z) → ∃u (R(y,u) ∧ R(z,u)))

----

'''Solución:'''

----
'''Ejercicio 5.''' Decidir por tableros semánticos, si:

∀x (P(x) → R(x,x)) ⊧ ∀x ∃y (R(x,y) ∨ ¬P(y))

----

'''Solución:'''

@@ Línea 40: / Línea 40: @@
 '''Ejercicio 5.''' Decidir por tableros semánticos, si:
-∀x (P(x) → R(x,x)) ⊧ ∀x ∃y (R(x,y) ∨ ¬P(y))
+* ⊧ (∃x P(x)) → P(a)
 ----
 '''Solución:'''

← Revisión anterior	Revisión del 11:44 15 may 2015
(Sin diferencias)

@@ Línea 1: / Línea 1: @@
 === Relación 15: Tableros semánticos en LPO  ===
@@ Línea 24: / Línea 23: @@
 ∀x ∃ y (R(x,y) ∨ ¬ P(y)) ⊧ ∀x (P(x) → R(x,x))
 ----
@@ Línea 32: / Línea 30: @@
 ----
 '''Ejercicio 4.''' Decidir por tableros semánticos, si:
 ∀x ∀ y (R(x,y) → R(y,x)) ⊧ ∀x ∀y ∀z (R(x,y) ∧ R(x,z) → ∃u (R(y,u) ∧ R(z,u)))