Quantificadores

Neste vídeo, vamos apresentar os quantificadores, que são uma parte essencial da linguagem matemática.
00:00 - Introdução
00:31 - Variáveis livres e proposições abertas
02:03 - Universo (ou domínio de discurso)
03:23 - Conjunto-verdade
08:50 - Quantificadores
09:16 - Quantificador existencial ("existe")
23:28 - Quantificador universal ("para todo")
35:41 - (Piadinha)
37:00 - Quantificadores limitados
39:13 - Quantificador existencial limitado
43:43 - Quantificador universal limitado