Introduction to Logic. Instructor: Prof. A. V. Ravishankar Sarma, Department of Humanities and Social Sciences, IIT Kanpur. This course introduces the basic concepts of logic and explores various principles, techniques concerning valid reasoning. Since Reasoning is involved in most intellectual activities, logic is relevant to broad range of pursuits. The study of logic is essential for students of computer science, philosophy (used as a tool for their arguments) and students of Mathematics who attempts to understand the foundations of mathematics in a better way. Mathematicians might be interested in what goes on in a lengthy proof or what constitutes a mathematical proof. Introduction to Logic presents the basic techniques used to derive a valid conclusion from the premises of an argument and also techniques for determining whether or not a argument (deductive or inductive) is valid/strong. The goal of this course is to introduce students to the essential ideas and techniques from logic that are widely used in Philosophy, Computer Science, Natural sciences, and the argumentation used in the daily discourse.
(from nptel.ac.in)
Lecture 38 - Truth, Satisfiability, Validity in Predicate Logic