universo de discurso
Português editar
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.