http://roble.intecca.uned.es/tematres/lem/http://roble.intecca.uned.es/tematres/lem/?tema=10325Predicado (Lógica) http://roble.intecca.uned.es/tematres/lem/?tema=10325 Lenguaje y lógica RT http://roble.intecca.uned.es/tematres/lem/?tema=10325 Cálculo de predicados RT