!
*true либо false* : появляется ПОСЛЕ подстановки в Предикат
Конкретных Зачений логических переменных,и(ТЕМ САМЫМ) -
превращения его(Предиката) в Высказывание.
а "Предикат Конкретных Зачений" - это что-то типа Святого Писания, раз ты его написал с Больших Буковок? :lol:
это что-то типа Назидания сААмым Понятливым,..
шоББ НЕ перепутывали где true а где false ! ! !
А фиг-вАм - *произвольное "наивное"* !
результат операции {... | ...} - конкретное множество,
Квакс не помнит, что сам писал минуту назад:*true либо false* : появляется ПОСЛЕ...
Так результат - true либо false или таки множество? 
Зато SneakSnake усердно "помнит", что "учился он чему нибудь и как нибудь".
И ему без разницы какООе именно в данный момент перед ним *таки множество* :
то ли *произвольное "наивное"* ,а то ли *конкретное множество*,
которому однозначно соответствует *true* !
обладают ... Конкретным Свойством *| ...}*.
во... еще одно Святое Писание :lol:
Результат операции - таки произвольное наивное множество.
дядя ! ещё разок популярненько напомню :
если Вы конкретными Исследованиями на Местности(в Лаборатории и пр.)
с конкретной Точностью конкретными Измерительными Инструментами НЕ ..
измерили(установили) Принадлежность Данного Элемента Множеству , то ..
*гоняйте* Полтергест , Торсионные Поля и прочую ахинею в другом месте !
НО НЕ МНЕ ! ибо я уже вышел из того возраста,
когда меня можно было на голый крючок(без наживки) ловить.
Во-первых, слово "наивное" необходимо, поскольку именно через { ... | ... } задается "множество всех множеств, не являющихся элементом самого себя" из парадокса Рассела.
И не обвиняйте меня что я разговор о математике -
подменяю на \*гоняйте* Полтергест , Торсионные Поля и прочую ахинею\.
А посему - ещё разок популярненько напомню :
НЕТ в Объектном Мире парадокса Рассела !
И кивание пальчиком на него - НИКАК НЕ объясняет
реальных свойств в Объектном Мире .
Банальнейшая Истина : Адекватность Исследования -
можно обеспечить лишь Адекватными Средствами(Инструментами).
Почему Вас и Диалектика(уж о Вивекке - молчу) так *тянет* на применение Извращений,
вместо пользования Адекватными Средствами ? ? ?
Вот так:
M = { x | ~(x in x) }
Где "in" - операция "принадлежит" (не знаю, как в этом форуме значок принадлежности нарисовать).
Писали бы на "родном и могучем" -
да не забивали бы себе и другим голову неопределёнными Значками,
которые тоже вносят львиную долю в НЕпонимание .......
M является множеством в наивной теории множеств, но не является множеством в аксиоматических теориях множеств типа ZF, ZFC или NEG. В этом смысле оно наивное множество.Во-вторых, результат операции - произвольное множество в том смысле, что всякое наивное множество должно допускать определение через { ... | ... }.
опять Вы бредите ! хоть в наивной , хоть в .. любой из ** :
операция "принадлежит" - однозначно истинна !
Ибо : в противном случае - парадокс Рассела !
Со всеми из Этого вытекающими .. НО -
НИКАКОГО отношения к Объектному Миру НЕ ИМЕЮЩЕМУ ! ! !
Например, результат функции f(x) = x + x от действительного переменного x - это произвольное действительное число. Но при подстановке конкретного x получится конкретное f(x). Так что Кваксик по своему обыкновению возражает лишь бы возразить.
ГЫ ГЫ ! "лишь бы возразить" !
Когда умные люди проверили замкнутость операции
*f(x) = x + x от действительного переменного x * -
то SneakSnake теперь "молодец - против овец" ! ! !
А не пора ли Вам "учиться,учиться,и ещё раз учиться" -
думать адеKWAтно, ув. SneakSnake ?
Это типа как ты?
Оставь свой паленый блок логики себе :lol:
ничё-ничё ..
лучше поздно, чем никогда !
когда нибудь .. поседеешь поумнеешь , да .......
увы - напрасно прожитые годы НЕ ВЕРНЕШЬ ! ! !
Именно ЗДЕСЬ(А*не-А=0) - *определение пустого множества*.
Что-то я не вижу. Обозначьте пустое множество, скажем, символом E и приравняйте.
А чем Вас 0 - не устраивает ?
Например, согласно Лешему:
E = {x | false }
"]"согласно Лешему" : есть такие "которИИя .. "
но могьЕть оказаться,что и есть такие "которИИя .. ",которИИя НЕ "которИИя .. ",..
А у тебя...
E = (A & ~A = false) ?? - или как??
ВСЕ ДРУГИЕ "формулы" - НАХОДЯТСЯ ВНУТРИ Этой Формулы !
Подставьте вместо А ..... ЛЮБОЕ сочетание ЛЮБОГО количества лог.перем. -и убедитесь в *этом* сААми ! ! !
Забавный сдвиг по фазе
Вот и Я - о тООм же :
кажется уже и не маленький Змеюныш ...
а такООй про"двинутый" как в младшем группе детсадика .......
