filmov
tv
Predicates and Quantifiers [Discrete Math Class]
Показать описание
This video is not like my normal uploads. This is a supplemental video from one of my courses that I made in case students had to quarantine. This is a follow up to previous videos introducing propositional logic (mathematical propositions; logical connectives - "and", "or", "not" , the conditional and the biconditional; truth tables; logical equivalence; the DeMorgan's laws, formal implication and laws of deduction) and using these tools to solve various logic problems and puzzles. In the current video, we describe predicates as well as the existential and universal quantifiers. We investigate how changing the order of the two quantifiers might affect the corresponding proposition, and we describe the quantifier negation laws and hint at their connection to the DeMorgan's laws.
Note that this video is part of a series kept in a playlist called [Discrete Math Class]:
If you like this video, consider subscribing to my channel and let me know in the comments if you'd like to see more like this.
This textbook for the course is the open-source textbook by Oscar Levin:
0:00 : Predicates and Quantifiers
00:11 : Predicates and Examples
01:50 : Existential and Universal Quantifers
03:06 : A Quantifer Example
04:16 : Order of Quantifiers
07:50 : Quantifier Negation Laws
#logic #propositionallogic #truthtables #predicates #propositions #quantifiers #quantifiernegation #demorganslaws #quantifierorder #math #manim #discretemathematics #settheory
To learn more about animating with manim, check out:
_______________________________________
Background Music:
Note that this video is part of a series kept in a playlist called [Discrete Math Class]:
If you like this video, consider subscribing to my channel and let me know in the comments if you'd like to see more like this.
This textbook for the course is the open-source textbook by Oscar Levin:
0:00 : Predicates and Quantifiers
00:11 : Predicates and Examples
01:50 : Existential and Universal Quantifers
03:06 : A Quantifer Example
04:16 : Order of Quantifiers
07:50 : Quantifier Negation Laws
#logic #propositionallogic #truthtables #predicates #propositions #quantifiers #quantifiernegation #demorganslaws #quantifierorder #math #manim #discretemathematics #settheory
To learn more about animating with manim, check out:
_______________________________________
Background Music:
0:15:08
PREDICATE LOGIC and QUANTIFIER NEGATION - DISCRETE MATHEMATICS
0:09:58
Predicates and Quantifiers [Discrete Math Class]
0:09:12
Logical Equivalences Involving Predicates & Quantifiers (Part 1)
0:09:32
Universal and Existential Quantifiers, ∀ 'For All' and ∃ 'There Exists'
0:08:01
Discrete Math - 1.4.1 Predicate Logic
0:38:51
Discrete Math 1.4 Predicates and Quantifiers
0:06:04
Predicates and their Truth Sets
0:05:05
Quantifiers
0:25:25
Predicates and Quantifier | Universal quantifier | Existential quantifier | Discrete Mathematics
0:16:43
Quantifiers - Logic - Discrete Mathematics
0:04:51
1. Predicate || Predicate examples || Discrete Mathematics #Predicates
0:15:47
Discrete Math - 1.4.2 Quantifiers
0:06:35
Proof and Problem Solving - Quantifiers Example 03
0:26:54
DISCRETE MATHEMATICS - PREDICATES AND QUANTIFIERS - PART 1
0:11:34
Predicates and Quantifiers
0:12:03
Discrete |10| Predicate Logic & Quantifiers Part 1
0:09:34
MFCS JNTUH | Predicates & Quantifiers | Discrete Mathematics in telugu
0:47:02
Predicates and Quantifiers - Discrete Mathematics
0:03:17
Introduction to Nested Quantifiers
0:16:06
Predicate Logic || Statement Function || Quantifiers || Universal || Existential || DMS || MFCS
0:10:38
Lesson 07: Predicate and its Examples in Discrete Mathematics
0:12:49
Discrete Mathematics | Unit1| Video - 33 | Predicates and Quantifiers | Rules in Quantifiers | Tamil
0:04:13
Predicates | discrete mathematics | by Niharika Panda
0:15:19
2. Quantifiers in discrete Mathematics | Universal Quantifiers |Existential Quantifiers #quantifiers
Комментарии