Discrete Math I (Entire Course) - Discrete Math - 1.6.2 Rules of Inference for Quantified Statements
Unlock the Logic: Master Discrete Math with Kimberly Brehm – From Propositions to Graphs, Equip Yourself with Essential Problem-Solving Skills!
5.0(2)
18 learners
What you'll learn
Understand and apply logical operations and connectives in propositions.
Construct truth tables to evaluate compound statements and logical equivalences.
Translate complex logic statements into predicate logic with quantifiers.
Utilize set theory and functions in solving mathematical and real-world problems.
This course includes
18.5 hours of video
Certificate of completion
Access on mobile and TV
Summary
Full Transcript
Building a valid argument using rules of inference for quantified statements.
Video Chapters:
Introduction 0:00
Universal Instantiation and Universal Generalization 0:14
Existential Instantiation and Existential Generalization 2:26
Universal Modes Ponens 3:24
Constructing a Valid Argument 4:04
Practice 7:10
Practice (Proof) 11:08
Up Next 16:36
Textbook: Rosen, Discrete Mathematics and Its Applications, 7e
Playlist: https://www.youtube.com/playlist?list=PLl-gb0E4MII28GykmtuBXNUNoej-vY5Rz
Continue this lesson in the app
Install CourseHive on Android or iOS to keep learning while you move.
