Lógica dos Predicados - Exercícios Regras de Inferência - EP 26

Seventh Video of a playlist about Predicate Logic. In this video, we do eight exercises on the Inference Rules of Predicate Logic. (ii) Existential Instantiation/Particularization; (iii) Universal Generalization; and, (iv) Existential Generalization. 🔴 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 About Predicate Logic - Part 1 - Quantifiers    • Lógica dos Predicados - Parte 1 - Quantif...   🔴 Video About Predicate Logic - Part 2 - Translation Exercises    • Lógica dos Predicados - Parte 2 - Exercíci...   🔴 Video About Predicate Logic - Part 3 - Negation    • Lógica dos Predicados - Parte 3 - Negação ...   🔴 Video About Predicate Logic - Part 4 - Grouped Quantifiers    • Lógica dos Predicados - Quantificadores Ag...   🔴 Video About Predicate Logic - Part 5 - Exercises Grouped Quantifiers    • Lógica dos Predicados - Exercícios Quantif...   🔴 Video About Predicate Logic - Part 6 - Rules of Inference    • Lógica dos Predicados - Regras de Inferênc...   0:00 Introduction 0:26 Exercise 1 2:25 Exercise 2 4:55 Exercise 3 7:05 Exercise 4 9:17 Exercise 5 10:31 Exercise 6 12:13 Exercise 7 14:16 Exercise 8 16:00 Final Considerations