yacc> Ты на что отвечаешь? Что функция "предикат" не относится к алгебре?yacc> Дык я здесь поправился.
Ага, т.е. про алгебру мы не говорим — это хорошо.
yacc> Или на то что Сергей не вводил никаких функций? yacc> А вот тут ты не прав.
Я тебе сказал, что для алгебры он не вводил никаких ф-ций. А для определения формулка логическая есть — даже с тобой спорил про И и ИЛИ. И про определение говорил.
yacc> Предикат не обязан задавать принадлежность к множеству - через него это можно выразить.
В сад. Учи математику.
yacc> Хе... а предикаты - это арифметика?
Это не важно. Математика не работает с тем, что тебе хочеться засунуть.
Я тебе совсем на пальцах разъясняю.
yacc> Э не - не только в моей
В твоей, твоей.
yacc> Вот давай к твоим высказываниям вернемся.
Давай.
yacc> Тебе тезисы Сергея нравятся? Ты сказал что да.
Да. Нравятся. Как система для определения патриотизма — вопрос. А сами по себе для человека — очень.
yacc> Они чисто математические? Т.е. заданные на абстрактном множестве? yacc> Да/Нет?
Это меня не волнует. Я возражал на другую тему — а именно (если не ты не понял с предыдущих N раз, то, наверное, не поймёшь с N+1 первого раза, но попробую) — необходимые условия не позволяют сделать вывод не принадлежности к множеству тому, для которого они необходимые, если они выполняются. Зато позволяют сделать вывод о НЕ принадлежности к этому множеству, если хотя бы один не выполнен. ВСЁ.
yacc> Какие ты мне условия поставил?
Смотри N+1 раз выше.