Syllabus  |   Lectures  |   Downloads  |   FAQ  |   Ask a question  |  
Course Co-ordinated by IIT Kharagpur


Download Syllabus in PDF format

Untitled Document

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 participants

  • To gain acquaintance with the fundamentals of Propositional logic and Predicate Logic.

  • To strengthen the foundation with problem-solving training.



Introduction to Logic, and to arguments.


Propositional Logic: Syntax.


Propositional Logic:Semantics. Truth table.


Propositional Logic:Semantics. Truth Trees.


Proofs and Derivations.


Proofs with Limited Scope Assumption.


Logic of Classes and Syllogisms.


First Order Predicate Logic.

Logic: Informal, Symbolic, &Inductive, C.Chakraborti, Prentice Hall of India, 2007. 2nd edition. ISBN:81-203-2855-8

Important: Please enable javascript in your browser and download Adobe Flash player to view this site
Site Maintained by Web Studio, IIT Madras. Contact Webmaster: