First Order Predicate Calculus Chapter 7. Propositional logic v. FOPC §Propositional calculus deals only with facts l P : I-love-all-dogs l facts are.
