Symbolic Logic. Instructor: Prof. Chhanda Chakraborti, Department of Humanities and Social Science, IIT Kharagpur. 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.
(from nptel.ac.in)
Lecture 32 - Basic 4 Types of Categorical Propositions