Predicate logic or predicate calculus