Относительно чего можно вообще задавать вопрос является ли это нечто всюду плотным ?
Смотри. Fuzzy logic'и, например, логика Гёделя—Даммита, имеют множеством значений истинности интервал действительных чисел [0; 1]. То есть, оно обладает всеми свойствами действительных чисел на этом интервале. А как устроено множество значений истинности интуиционистской логики?
Это не ответ на мой вопрос
Тогда переформулируй
Он и так хорошо сформулирован. Относительно некоторых штук бессмысленно спрашивать всюду плотны они или нет, относительно некоторых осмысленно. Вопрос про какие осмысленно
Про множество значений истинности — осмысленно.
Точнее - какая топология на этом множестве.
Обсуждают сегодня