Introduction to the Rules of Inference for Quantified Statements - Discrete Math

In this video, Jitty introduces the rules of inference for quantified statements. He explains universal instantiation, universal generalization, existential instantiation, and existential generalization. He talks about particular and arbitrary elements and how important picking them is. Discrete Math Playlist:    • Discrete Math Videos   Timestamps: 0:00 Introduction 0:38 Universal Instantiation 5:32 Universal Generalization 10:16 Existential Instantiation 12:14 Existential Generalization