Обсуждение:Топологическая семантика
Перейти к навигации
Перейти к поиску
Перенесено с ВП:СО[править код]
"А именно, V: PL->X" - ошибка.
Тут должно быть «V: PL->Powerset(X)», где Powerset(X) — это множество всех подмножеств X.
Далее, опечатка в определении истинности формулы: «существует окрестность U точки x, такой что». Должно быть — «такая что», а не «такой что».
Далее, существенная неточность: «Минимальная модальная логика, содержащая эти формулы, называется S4.» Должно быть не "Минимальная модальная логика, ", а "Минимальная нормальная модальная логика, ". Кроме того, более грамотно тут говорить не «Минимальная», а «Наименьшая».
Автор сообщения: Ilya Shap 10:13, 12 октября 2011 (UTC)
Перенесено со страницы ВП:СО#Топологическая семантика. by Sealle 10:12, 29 октября 2011 (UTC)