Lecture Notes

Dear Students the Lecture Notes has been uploaded for the following topics:
1.1 Proposition & Connectives,
1.2Tautology & Logical Equivalence,
1.3 Normal Forms,
1.5 Inference theory of Statement Calculus & Rules of Inference,
1.6 Problems based on inference theory of Statement Calculus,
1.7 Consistency of premised and Indirect method of proof,
1.9 Predicate & Quantifiers,
1.10 Problems on Predicate Calculus,
1.11 Proof methods and strategy.