predicate calculus - Turkish English Dictionary