Здравствуйте, Эйнсток Файр, Вы писали:
Р>> Суждение — человеческий вывод не так ли?
ЭФ>Вот видите, Вы уже заметили недостаток Вашего текста, он опирается на терминологию, которую Вы не потрудились выписать в виде тезауруса.
это вы заметили несоответствие формулы предлагаемым вами понятиям. Вы тащите сюда гуманитарную символическую логику. Хотя тема идет про теорию трансляции с синтаксическим анализом. Можно еще матлогику. Вы зацепились за логику высказываний, но она не в тему тут. Т.к гуманитарная область напрочь проиворечива.
ЭФ>--------------------------------------------------------------------------------------------------------------------------------------------------
ЭФ>Пропозициональная логика, она же "логика высказываний", ЭФ>изучает логические отношения между высказываниями.
Какие логические ? я оперирую expressions — синтаксической конструкцией, которая может много чем быть, и результат может быть сршеннорзным. а вы о чем?
ЭФ>Высказывание – это предложение, о котором можно сказать, истинно оно или ложно.
с точки зрения синтаксического анализа это совсем все не так.
ЭФ>В исчислении высказываний (см. логика высказываний) нет предметных переменных, ЭФ>то есть переменных, которые могут принимать нелогические значения, например, числовые.
в теории трансляции нет логических значений, а есть только трансляция токенов из одних цепочек в другие.
ЭФ>Исчисление логики предикатов первого порядка ЭФ>(это другое исчисление, не такое как "исчисление высказываний", круче)
Я вам уже за логику давно второго порядка говорю, наличие рекурсивных формул должно было вам об этом кое что сказать.
ЭФ>Для того чтобы в логические исчисления могли быть включены нелогические константы и переменные, вводится понятие предиката. ЭФ>Нульместный предикат представляет собой высказывание.
ЭФ>N-местным предикатом на множестве X называется n-местная функция из множества Xn во множество {ложь, истина}.
ЭФ>Поскольку множество значений любого предиката лежит во множестве {ложь, истина}, то с предикатами можно производить все операции алгебры логики, и ЭФ>все известные свойства логических операций обобщаются для предикатов.
ЭФ>Суждение — сочетание понятий, одно из которых — субъект — определяется и раскрывается через другое — предикат
ЭФ>--------------------------------------------------------------------------------------------------------------------------------------------------
ЭФ>Написанная Вами формула не является ни предикатом, ни суждением.
написанная мной формула может быть представлена на формальном языке. я уже доказывал, что это довольно просто. Она не обязана удовлетворять вашим хотелкам, а лишь обязана удовлетворять требованиям формального языка.
Да но и в этом ее особенностиь, ваша логика вполне укладывается в схему. А как она уже будет работать вопрос второй. Просто она прочно займет местечко l или l'