Diferencia entre revisiones de «Relación 15»
De Lógica matemática y fundamentos (2014-15)
(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)) ---- '...') |
|||
| Línea 23: | Línea 23: | ||
∀x ∃ y (R(x,y) ∨ ¬ P(y)) ⊧ ∀x (P(x) → R(x,x)) | ∀x ∃ y (R(x,y) ∨ ¬ P(y)) ⊧ ∀x (P(x) → R(x,x)) | ||
| − | |||
---- | ---- | ||
| Línea 31: | Línea 30: | ||
---- | ---- | ||
'''Ejercicio 4.''' Decidir por tableros semánticos, si: | '''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))) | ∀x ∀ y (R(x,y) → R(y,x)) ⊧ ∀x ∀y ∀z (R(x,y) ∧ R(x,z) → ∃u (R(y,u) ∧ R(z,u))) | ||
Revisión del 13:43 15 may 2015
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: