McGraw-Hill OnlineMcGraw-Hill Higher EducationLearning Center
Student Resources | Instructor Resources | Information Center | Home
Logic Tutor Home
Create Your Own Truth Table
Create Your Own Venn Diagram
Proof Checker
Logic Links
Learning Objectives
Chapter Summary
Flashcards
Logic Tutor
Feedback
Help Center


The Power of Logic, 2/e
C. Stephen Layman
Predicate Logic

Learning Objectives


To achieve a deeper understanding of the structure of English statements (and arguments) involving predicates and quantifiers.

To gain facility in symbolizing English statements involving predicates and quantifiers.

To be able to apply the Finite Universe Method to demonstrate the invalidity of arguments.

To be able to demonstrate the validity of arguments within predicate logic by constructing proofs.

To gain facility in symbolizing English statements involving relations, including the relation of identity.

To be able to construct proofs in order to demonstrate the validity of arguments within the logic of relations and the logic of identity.








Copyright2002 McGraw-Hill Higher Education
Any use is subject to the Terms of Use and Privacy Policy.
McGraw-Hill Higher Education is one of the many fine businesses of The McGraw-Hill Companies.