Please enable JavaScript.
Coggle requires JavaScript to display documents.
CONJUNTOS (Linguagem de primeira ordem (Conectivos, Quantificadores,…
CONJUNTOS
Linguagem de primeira ordem
Conectivos
Quantificadores
Símbolos para pontuação, parênteses, colchetes e vírgulas.
O símbolo = para a identidade
Uma coleção de constantes a1, a2, ..., an, ...
Uma coleção enumerável de variáveis individuais x2, x2, ..., xn, ...
Quantificadores
Existe
Alguns
Qualquer um
Nenhum
Todos
Etc....
Representação
Enumeração
Descrição
O que é ?
Uma coleção de objetos(elementos)