predicate 0 predicado Sentencia que evalúa una expresión y devuelve como resultado un valor lógico, verdadero o falso. 2001-03-26 built-in predicatepredicado predefinido postconditionpostcondición preconditionprecondición predicate calculuscálculo de predicados
