universo de discurso
Locução substantiva
editaruniverso de discurso
- (Lógica) coleção de objetos de um modelo para um dado sistema lógico[1]
Ver também
editarNo Wikcionário
editarNotas
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.