| Summary: | The text covers elementary logic, from statement logic through relational logic withidentity and function symbols. The authors acquaint students with formal techniquesat a level appropriate for undergraduates, but extends far enough and deep enoughinto the subject that it is suitable for a brief first-year graduate course. The text coversfull and brief truth tables, and presents the method of truth (consistency) trees andnatural deduction for the whole of elementary logic. The text's organization allowsinstructors to cover just statement logic, or statement logic combined with variousextensions into predicate logic: monadic logic with or without identity, or the preceding plus relational logic with or without identity and with or without function symbols. Ateach stage, the instructor may elect to pursue truth trees and/or natural deduction.A final chapter provides a perspective for further study and applications of logic.The text may be used with or without the accompanying software.
|
|---|
