Difference propositional calculus and predicate calculus?