Unit UPTU Syllabus topics

Unit-4 Introduction of the Subject

Unit-4 Propositions, Truth tables
Unit-4 Tautology, Contradiction,Algebra of propositions
Unit-4 Logical Equivalence
Unit-4
Logical implications, Theory of Inference and Natural
Deduction
Unit-4 Theory of Inference and Natural Deduction
Unit-4 First order predicate, Predicate formulas, quantifiers,
Unit-4 Inference theory of predicate logic
Unit-4 Inference theory of predicate logic
Unit-4 Inference theory of predicate logic
Unit-4
UPTU syllabus of Unit-4
Propositional & Predicate Logic: Propositions, Truth
tables, Tautology, Contradiction, Algebra of propositions,
Theory of Inference and Natural Deduction. Theory of
predicates, First order predicate, Predicate formulas,
quantifiers, Inference theory of predicate logic
Sample Lecture Plan for Unit-4 of ECS-303(DMS)
Detailed syllabus topics to be covered Book to be referred
What is discrete mathematics, Its application areas, Various units and contents to be covered Trembley and Manohar
Introduction to Mathematical Logic, Propositional Logic, Logoical Connectives(Negation, Conjunction,
Disjunction, Conditional, Bi-conditional, NAND, NOR) and their Truth Tables
Trembley and Manohar
Tautology, Contradiction, Contingency, Logical Equivalence, Algebra of Proposition and formulae and derivations Trembley and Manohar
Converse Inverse and Contrapositive, Well formed formula Logical Equivalence and examples Trembley and Manohar
Logical implications, Its formulae, Theory of Inference of propositional logic, P and T Rule Trembley and Manohar
CP Rule, Numericals based on Inference theory of propositional logic Trembley and Manohar
Predicate Logic, Universal and existential quantifiers, Practice of Representation of sentences into Predicate
symbolic form
Kenneth H. Rosen
Inference Theory of predicate logic, Rules: Universal Instansiation, Universal generalization, Existential
Instansiation, Existential generalization, Numericals, Discussion of application areas
Kenneth H. Rosen
Problems and soolution of Inference Theory of predicate logic and its application areas Kenneth H. Rosen
Nested Quantifiers and Order of quantifiers Kenneth H. Rosen
Practice of Problem Solving(Miscellaneous)
Sample Lecture Plan for Unit-4 of ECS-303(DMS)