Lógica de predicados: Ejercicios de fórmulas bien formadas
(Aclaración: Los dos puntos que están en los lados laterales de los símbolos de la sintaxis lógica representan la existencia de una mayor jerarquía del símbolo sobre los otros. Por ejemplo: Aa V Ra .→. Ea V Qa En este caso, el símbolo con mayor jerarquía es el de la condicional, ya que tiene los dos puntos en los lados laterales.) Ejercicios de fórmulas bien formadas en Lógica de predicados : 1. ( ∀ x)[Fx →(Gy ∧ Jx ∨ My ∧ Gx)]→Ma 2. ( ∃ x) (Mx →G)↔( ∃ A)(Ha →Ma) 3. ( ∀ z)( ∃ x) [(Mx ∧ Ga)→(Fx .↔.My ∨ Gx )] ∧ ( ∀ y)(Ty →Gx . ∧ .Fa ↔My) 4. ( ∀ x)( ∃ y)((Fx ∨ Fy)→(Gx→( ∃ z)(Ga ∧ Hz))) 5. ( ∀ x)( ∃ y)(Px ∧ ~Fy.↔.( ∀ z) ∧ Jz) 6. ( ∃ c)(Lc ∧ Px. ∧ .~Fa↔Jx) 7. ∃ x ∀ c(Lc ∧ Px. ∧ .~Fa↔Jx) 8. Aa v Da v Ea v Qa 9. Ey(Ky↔(Fy ∧ Hy ∧ Ty ∧ Cy) 10. ∃ x (Fx ∧ H x) v ((a ∧ ...