universo de discurso
Locução substantiva
[editar]universo de discurso
- (Lógica) coleção de objetos de um modelo para um dado sistema lógico[1]
Ver também
[editar]No Wikcionário
[editar]Notas
[editar]- ↑ Por exemplo, um modelo de um sistema lógico concebido para o estudo dos números naturais possui como universo de discurso o conjunto dos números naturais. Se o objeto de estudo de um sistema lógico for conjuntos, então, neste caso, o universo de discurso dos seus modelos é a coleção de todos os conjuntos.