Mod-01 Lec-19 Semantic Tableaux Method for Propositional Logic

Published: 17 March 2015
on channel: nptelhrd
54,221
692

Introduction to Logic by Dr. A.V. Ravishankar Sarma,Department of Humanities and Social Sciences,IIT Kanpur.For more details on NPTEL visit http://nptel.ac.in


Watch video Mod-01 Lec-19 Semantic Tableaux Method for Propositional Logic online, duration hours minute second in high quality that is uploaded to the channel nptelhrd 17 March 2015. Share the link to the video on social media so that your subscribers and friends will also watch this video. This video clip has been viewed 54,221 times and liked it 692 visitors.