predicate calculus - Spanish English Dictionary