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
Symbolic Logic
Indian Institute of Technology, Kharagpur and NPTEL via Swayam
This course may be unavailable.
Overview
Syllabus
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
