Matemática Discreta · 1.º ano (indicativo)
Lógica de predicados e quantificadores
Capítulo de Matemática Discreta com 0 artigos publicados de 18 temas previstos no plano. Os artigos serão publicados aos poucos, depois de escritos e revistos.
Temas deste capítulo
Plano editorial: 18 temas. Só os que têm ligação já estão escritos e publicados.
- O que é o quantificador universal?
- O que é o quantificador existencial?
- O que é a negação de quantificadores?
- O que são os quantificadores aninhados?
- O que é o domínio de discurso?
- O que são as variáveis livres e ligadas?
- O que é a lógica de primeira ordem?
- O que são as regras de inferência para quantificadores?
- O que é a instanciação universal?
- O que é a generalização existencial?
- O que são os silogismos?
- O que é o raciocínio dedutivo?
- Como negar uma proposição com quantificadores?
- Como traduzir uma frase para lógica de predicados?
- Como determinar o valor lógico de uma proposição quantificada?
- Como escrever a definição de limite em linguagem lógica?
- Exercícios resolvidos de lógica de predicados
- Quais são os erros mais comuns nos quantificadores?