Sintaxis para las fórmulas:

Variables: x, y, z, w, x1, ...
Empiezan por x, y, z, w (minúsculas), pueden tener más caracteres alfanuméricos.
Constantes: a, b, 0, 23, cero, ...
Empiezan por minúscula diferente de x, y, z, w o por dígitos, pueden tener más caracteres alfanuméricos.
Funciones: f(x), g(r(a,x)), ...
Empiezan por minúscula, van seguidas por los argumentos entre paréntesis.
Predicados: p, q(x), ...
Empiezan por minúscula, van seguidos por los argumentos entre paréntesis.
Negación: ~
Disjunción: \/
Conjunción: /\
Implicación: ->
Si y sólo si: <->
Para todo x: @x:
Existe x: #x:

Nota: separar las conectivas con blancos; p(x)-> ~q(x) en vez de p(x)->~q(x)

@x:(p(x) -> q(x))/\p(a) -> q(a)
(#x:p(x)->q(f(a))) <-> @x:(p(x)->q(f(a)))

Last modified: Wed Apr 12 10:22:07 2000