অধ্যায় ১: যুক্তি ও প্রমাণ

Contents

1. Propositional Logic
2. Applications of Propositional Logic
3. Propositional Equivalences
4. Predicates and Quantifiers
5. Nested Quantifiers
6. Rules of Inference
7. Introduction to Proofs
8. Proof Methods and Strategy