Fallacy, Instantiation, Generalization, Proof Problems | Lecture 26 | Discrete Structures | CSIT, TU

Welcome to The Digital Nerds, your premier source for comprehensive Computer Science courses, meticulously curated from prestigious Nepalese universities. I'm Anjesh Kafle, a computer engineer and seasoned educator dedicated to delivering a tailored educational experience that meets your academic aspirations. While our focus is on bringing Nepalese universities' expertise to the forefront, our content's universal relevance ensures its value extends globally. Here at The Digital Nerds, we're not just about teaching – we're about inspiring curiosity, fostering a learning environment, and preparing you for a world that's increasingly digital. Let's embark on this exciting journey of learning together! ------ In this video, we start with the idea of Fallacies in general and explain the two specific fallacies: denying the hypothesis and affirming the conclusion; in context of propositional logic. We then dive into the concepts of instantiation and generalization. The rest of the video is spent solving problems that require proving a given argument based on the rules of inferences. We demonstrate two problems that are stated using propositions as English sentences, and a problem stated in terms of propositional variables. This video belongs to the playlist: Discrete Structures Full Course for Tribhuwan University, under the BSc CSIT programme. ------ Chapters: 0:00 Scope of the Video 0:52 Fallacies 4:24 Rules of Inferences for quantified statements (Instantiation and Generalization) 7:32 Numerical Problem 1 10:45 Numerical Problem 2 16:03 Numerical Problem 3 with hint ------ Make sure to like, share and subscribe! ------ Credits: Text-Book: Kenneth H. Rosen | Discrete Mathematics and its Applications Kolman | Discrete Mathematical Structures ------ References: Previous Video: https://www.youtube.com/watch?v=hIN5bregsRU Next Video: https://www.youtube.com/watch?v=Yg6CqrnViJk My Freelancing Profile: https://www.fiverr.com/googlesheetspro Our Facebook Page: https://www.facebook.com/people/The-Digital-Nerds/100095563598803/ ------ All content is for educational purposes only. ------ Keywords: discrete structures, discrete mathematics, csit, course series, computer science, logic and proof methods, rules of inference, modus ponens, law of detachment, modus tollens, hypothetical syllogism, dysjunctive syllogigsm, conjunction, addition, simplificaion, resolution, fallacies, rules of inference for quantified statements, instantiation, generalization, existential instantiation, existential generalization, universal instantiation, universal generalization