Lógica dos Predicados - Parte 1 - Quantificadores - EP 20

Primeiro Vídeo de uma playlist sobre Lógica dos Predicados.
Neste vídeo, começamos explicando a diferença da Lógica Proposicional da Lógica dos Predicados e principalmente explicamos os conceitos de Quantificador Universal, Existencial e Quantificador de Unicidade.
Também explicamos o Conceito de Conjunto Universo. No final do vídeo fazemos 4 exercícios de tradução de proposições em português para a Lógica e vice-versa.

🔴 Vídeo Explicando sobre Matemática Discreta
   • O que é Matemática Discreta? - EP 1  

🔴 Vídeo Explicando sobre Regras de Equivalência
   • Equivalências Lógicas ( Regras de Equivalê...  

🔴 Vídeo Explicando sobre Regras de Inferência
   • Regras de Inferência  - Inferências Lógica...  

🔴 Vídeo Explicando sobre Modelos de Programação Linear Genérico onde explico sobre o símbolo Para Todo na visão da Pesquisa Operacional.
   • Como fazer um Modelo Genérico de Programaç...  

0:00 Introdução
1:01 Importância da
Lógica dos
Predicados
1:27 Conjunto Universo
2:17 Quantificadores
3:01 Quantificador Universal
4:20 Quantificador Existencial
5:15 Quantificador de Unicidade
6:24 Quando que os
Quantificadores
são V e F
7:29 Exercício 1
9:37 Exercício 2
11:20 Exercício 3
13:33 Exercício 4
15:23 Considerações Finais