Позволю себе заметить, что употреблять в обсуждении слова: «бред», «глупости» и т.п. некорректно. Это хамство. Даже, если, Вы, не согласны с точкой зрения автора.
Боги мне вообще ничего не обязаны и их ответов на вопросы не требуется. Развеселившая Вас формула – это формальная запись вопроса Богу А «Не является ли бог С богом случая», составленная с учетом возможных его ответов «да» (True – логическая константа) и «нет»» (False – тоже логическая константа). Формула упрощена с применением свойств логических связок «конъюнкция» и «импликация».
Это не я жгу, а Э.Кодд (E.Codd). В конце 60, начале 70 обосновывая языки запросов к РБД, Кодд доказал, что выражения реляционной алгебры редуцируемы к формулам исчисления отношений. Там же доказано, формулы определённого вида редуцируемы к выражениям реляционной алгебры. См., например, Codd E.F. Relational completeness of data base sublanguages. IBM Research Laboratory, San Jose, California. КО 987 (#170041), March 6, 1972, Computer Sciences.
С тезисом о первопорядковой логике согласен. В прикладном плане у сочетания РБД и SQL есть новое качество. Формулы там записываются в виде реляционных таблиц и диалоговых форм для обзора и редактирования реляционных запросов. А это новое более ориентированное на человека по сравнению с текстами представление формул.
Для логических задач, которые требуют итеративности при построении решения, есть рекурсивные запросы.
Ответы богов зафиксированы в виде логических констант TRUE и FALSE (см. дополнение), а их тарабарские обозначения не интересны.
Феномен магии вопросов объясняется очень просто. Не нужны нам вопросы. Нам нужна система логических уравнений и неравенств.
Приписка «EQV TRUE» возникла из методических соображений. В условии логической задачи нам интересны данные о причинно-следственных связях (A IMP B) и об эквиваленциях. A EQV B это данные о двух причинно-следственных связях (A IMP B) AND (B IMP F)
В прикладном плане у сочетания РБД и SQL есть новое качество. Формулы там записываются в виде реляционных таблиц и диалоговых форм для обзора и редактирования реляционных запросов. А это новое более ориентированное на человека по сравнению с текстами представление формул.
Вопросы серьезные, требуют внимательного рассмотрения и вдумчивого отношения.
На комментарии обязательно будут даны ответы и разъяснения, но позже. Надеюсь на понимание.
Для логических задач, которые требуют итеративности при построении решения, есть рекурсивные запросы.
Феномен магии вопросов объясняется очень просто. Не нужны нам вопросы. Нам нужна система логических уравнений и неравенств.
Приписка «EQV TRUE» возникла из методических соображений. В условии логической задачи нам интересны данные о причинно-следственных связях (A IMP B) и об эквиваленциях. A EQV B это данные о двух причинно-следственных связях (A IMP B) AND (B IMP F)
На комментарии обязательно будут даны ответы и разъяснения, но позже. Надеюсь на понимание.