predicate calculus 0 cálculo de predicados Representación del conocimiento basado en la lógica de predicados, frente a la lógica de proposiciones. Un predicado expresa una relación entre objetos que son los argumentos del predicado. 2001-03-26 predicatepredicado propositional calculuscálculo proposicional subsumed clausecláusula subsumida
