Re[5]: логика про ИИ (или мы пойдем другим путем 2) с комент
От: Эйнсток Файр Мухосранск Странный реагент
Дата: 06.09.23 10:07
Оценка:
Р> F: f(s', l(s), l, f, t', inputs)
Р> Я вам уже за логику давно второго порядка говорю, наличие рекурсивных формул должно было вам об этом кое что сказать

Приведённая надпись также не является формулой в логике второго порядка.

https://ru.wikipedia.org/wiki/Логика_второго_порядка

Логика второго порядка — расширяет логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами и функциональными символами.


То, что у Вас написано, это не "формула", и не "атом", это максимум терм.
Отредактировано 06.09.2023 10:20 Эйнсток Файр . Предыдущая версия . Еще …
Отредактировано 06.09.2023 10:08 Эйнсток Файр . Предыдущая версия .
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.