ch5
First Order Predicate Logic Limitation of Propositional Logic
First Order Predicate Logic Limitation of Propositional Logic The facts: “peter is a man”, “paul is a man”, “john is a man” can be symbolized by P, Q and.