Lógica dos Predicados - Parte 1 - Quantificadores - 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 Discreta? - EP 1   🔴 Video Explaining Equivalence Rules    • Equivalências Lógicas ( Regras de Equivalê...   🔴 Video Explaining Inference Rules    • Regras de Inferência  - Inferências Lógica...   🔴 Video Explaining Generic Linear Programming Models where I explain the For All symbol from the Operational Research perspective.    • Como fazer um Modelo Genérico de Programaç...   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