Autor Tema: Inferencia lógica con cuantificadores

0 Usuarios y 1 Visitante están viendo este tema.

01 Noviembre, 2014, 06:34 am
Leído 1433 veces

Cabudare

  • $$\Large \color{red}\pi\,\pi$$
  • Mensajes: 33
  • Karma: +0/-0
  • Sexo: Masculino
Hola, les pido ayuda con el siguiente ejercicio ya que no sé cómo se aplica la inferencia lógica con cuantificadores, les agradeceré la ayuda prestada.

i) ∀x ∀y ∀z: ( A(x, y) ∧ A(y, z) → ~B(x, z) )
ii) ∀x ∀y: ( A(x, y) ↔ ( B(y, x) ∨ C(x,y) ) )
iii) ∀x ∃y: A(x,y)

Conclusión:  ∀x: A(x, x)