Это не понятие. Но это валидная семантика классической логики. Если бы логика не была бивалентной, этой семантики бы не существовало (нельзя было бы построить). Для интуиционистской нельзя. Потому что не бивалентная.
Давай подойдём с другой стороны. Как ты собираешься использовать это понятие?
Ты хочешь определение вещественных чисел или что?
Оно всюду плотно или нет?
Континуальное множество является несчётным и всюду плотным. А какое третье условие? Я помню, что их три. Если же говорить о всюду плотных множествах просто, то континуальное м...
За счёт того что это множество является... чем?
Интересно, как можно определить ограничения на количество истинностных значений той или иной логики. Дело в том, что валентность определяется семантикой. И оказывается, что у ...
у меня вот есть вопрос по алгебре (перестановки), насколько тут уместно задать?
Есть ли примеры теорий, которые не могут быть финитно аксиоматизированы в одном языке, но при этом есть их полная и непротиворечивая финитная аксиоматизация в другом, более бо...
Где логику изучать?
А как в формулах вроде ∀ x : α, smth называется часть, которая здесь представлена как smth ?
Обсуждают сегодня