Symbolic Logic

ABOUT THE COURSE: Logic is a part of every systematic field of inquiry As the essential foundation for rational investigation. Logic has always been a multidisciplinary and an interdisciplinary subject. Its versatility is evinced in its vast and varied applications in digital electronics, computer and manufacturing technologies, and also for deliberating in law, public policy and business strategy. In view of the above, it is a value-addition to one’s skill-base to be exposed to this all-important subject.Logic, roughly speaking, is the study of principles of correct reasoning. It is a foundational component for any systematic and rational investigation. It is a discipline that adds value to every other systematic field of inquiry.This course is designed to enable the participantsTo gain acquaintance with the fundamentals of Propositional logic and Predicate Logic.To strengthen the foundation with problem-solving trainingINTENDED AUDIENCE: May be used as core. Or, could be an Elective Course;Both. May serve as UG as well as PG Course;B.Tech, B.E, M.Tech., M.E, B.Sc,M.Sc, B.A, M.A.INDUSTRY SUPPORT: Software companies, Defense Research labs, Management Schools

Week 1: Introduction to Logic, and to arguments Week 2: Propositional Logic Syntax Week 3: Propositional LogicSemantics. Truth table Week 4: Propositional LogicSemantics. Truth Trees Week 5: Proofs and Derivations Week 6: Proofs with Limited Scope Assumption Week 7: Logic of Classes and Syllogisms Week 8: First Order Predicate Logic