2 THE PREDICATE CALCULUS 45
2.0 Introduction 45
2.1 The Propositional Calculus 45
2.2 The Predicate Calculus 50
2.3 Using Inference Rules to Produce Predicate Calculus Expressions 62
2.4 Application: A Logic-Based Financial Advisor 73
2.5 Epilogue and References 77
2.6 Exercises 77
Addison-Wesley
Barnes & Noble
Amazon
Table of Contents
Preface
Chapter One