Propositional & Predicate Calculus _I Propositional Logic vs. Predicate Calculus Propositional Logic The world consists of propositions (sentences) which can be true…