2. Predicate Logic Although Propositional Logic is complete... It is still inadequate.

3. Predicate Logic Although Propositional Logic is complete... It is still inadequate. All men are mortal. Socrates is a man. Socrates is mortal.

4. Predicate Logic Although Propositional Logic is complete... It is still inadequate. All men are mortal. Socrates is a man. Socrates is mortal. VALID

5. Predicate Logic Although Propositional Logic is complete... It is still inadequate. All men are mortal. Socrates is a man. Socrates is mortal. VALID PQRPQR

6. Predicate Logic Although Propositional Logic is complete... It is still inadequate. All men are mortal. Socrates is a man. Socrates is mortal. VALID PQRPQR INVALID FORM

7. Predicate Logic Although Propositional Logic is complete... It is still inadequate. All men are mortal. Socrates is a man. Socrates is mortal. VALID

8. Predicate Logic VALID All A are B n is A n is B Although Propositional Logic is complete... It is still inadequate. All men are mortal. Socrates is a man. Socrates is mortal.

9. Predicate Logic VALID To capture what makes this form valid we need to notate the subject and predicate of a proposition. All A are B n is A n is B Although Propositional Logic is complete... It is still inadequate. All men are mortal. Socrates is a man. Socrates is mortal.

10. Predicate Logic

11. Alternative names: Predicate Logic

12. Alternative names: Predicate Logic Quantificational Logic Quantifiers: all, some, no

13. Predicate Logic Alternative names: Predicate Logic Quantificational Logic First Order Logic

14. Predicate Logic Alternative names: Predicate Logic Quantificational Logic First Order Logic Predicate Calculus

15. Predicate Logic Alternative names: Predicate Logic Quantificational Logic First Order Logic Predicate Calculus Quantificational Calculus First Order Calculus

16. Predicate Logic Alternative names: Predicate Logic Quantificational Logic First Order Logic Predicate Calculus Quantificational Calculus First Order Calculus First Order Functional Calculus For more click here