Predicate Logic - Quantifiers - Part 1 - EP 20

First video of a playlist on Predicate Logic.
In this video, we start by explaining the difference between Propositional Logic and Predicate Logic and mainly explain the concepts of Universal Quantifier, Existential Quantifier and Uniqueness Quantifier.
We also explain the Universe Set Concept. At the end of the video we do 4 exercises to translate propositions in Portuguese into Logic and vice versa.
🔴 Video Explaining Discrete Mathematics
• O que é Matemática Dis...
🔴 Video Explaining Equivalence Rules
• Equivalências Lógicas ...
🔴 Video Explaining Inference Rules
• Regras de Inferência ...
🔴 Video Explaining Generic Linear Programming Models where I explain the For All symbol from the Operational Research perspective.
• Como fazer um Modelo G...
0:00 Introduction
1:01 Importance of Logic
Predicates
1:27 Universe Set
2:17 Quantifiers
3:01 Universal Quantifier
4:20 Existential Quantifier
5:15 Uniqueness Quantifier
6:24 When do the
Quantifiers
are V and F
7:29 Exercise 1
9:37 Exercise 2
11:20 Exercise 3
13:33 Exercise 4
15:23 Final Considerations