Diferencia entre revisiones de «R15»
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)) ---- ...') |
|||
| (No se muestran 2 ediciones intermedias del mismo usuario) | |||
| Línea 1: | Línea 1: | ||
| − | |||
=== Relación 15: Tableros semánticos en LPO === | === 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)) | ∀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: | '''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))) | ||
| Línea 43: | Línea 40: | ||
'''Ejercicio 5.''' Decidir por tableros semánticos, si: | '''Ejercicio 5.''' Decidir por tableros semánticos, si: | ||
| − | ∀x (P(x) → | + | * ⊧ (∃x P(x)) → P(a) |
| + | * {∀x(P(x) → Q(x)), ∀y(Q(a) ∨ R(y) → S(a))} ⊧ ∀x (P(x) → S(a)) | ||
---- | ---- | ||
'''Solución:''' | '''Solución:''' | ||
Revisión actual del 09:59 17 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)) → P(a)
- {∀x(P(x) → Q(x)), ∀y(Q(a) ∨ R(y) → S(a))} ⊧ ∀x (P(x) → S(a))
Solución: