Pages that link to Lógica de predicados

  1. Cuantificadores (de variables lógicas)
  2. Variables lógicas
  3. Variable libre
  4. Variables cuantificadas (o ligadas)
  5. Constante lógica
  6. Instancia (de una variable lógica)
  7. Predicado monádico (o de aridad 1)
  8. Predicado diádico (o de aridad 2)
  9. Argumento (o término) de un predicado
  10. Predicado (lógico)
  11. Términos (lógicos)
  12. Función proposicional atómica
  13. Lógica proposicional