Chapter 3: Logic and Proof Methods — Discrete Structure (CSC165) Notes

Logic: Propositional Logic, Propositional Equivalences, Predicates and Quantifiers, Negation of Quantified Statements, Proof of quantified statements, Nested Quantifiers, Rules of Inferences.

Core Course
Ch. 3: Logic and Proof Methods

Notes Arriving Soon

Handwritten chapter notes for this subject are currently being digitized. Help your fellow students by contributing your notes!

Ch. 2: Integers and MatricesCh. 4: Induction and Recursion

Topics & Key Objectives in Chapter 3

Logic: Propositional LogicPropositional EquivalencesPredicates and QuantifiersNegation of Quantified StatementsProof of quantified statementsNested QuantifiersRules of Inferences.

Related Study Resources for Discrete Structure (CSC165)

Subject HubDiscrete Structure (CSC165)Official CurriculumDiscrete Structure SyllabusTU Board PapersDiscrete Structure Past QuestionsSemester Directory2nd Sem Subjects