Resolution - Refutation Proofs

Brief of the Video:

Here’s a discussion on the proof mechanisms in first order logic. Prof. Pallab Dasgupta of the Department of Computer Science and Engineering, IIT Kharagpur conducted this lecture.

Copyright

Lecture videos are linked and streamed with permission from The National Programme on Technology Enhanced Learning (NPTEL), an initiative by seven IITs and the IISs for creating course contents in engineering and science, and funded by the Ministry of Human Resource Development. Copyright to this content is owned and maintained by the institutes participating in the NPTEL.