Обсуждение:Логика первого порядка

Untitled

В статье ужасно много ошибок.

89.251.107.2 22:39, 16 сентября 2008 (UTC) Fi

Поисправлял немного. Хацкер 07:15, 17 сентября 2008 (UTC)

"Аксиоматика и доказательство формул"

из-за неясности понятия терма( может быть, терм - это "переменная переменных"??? раздел остался мне непонятен. Хорошо бы пример, в котором было бы расписано, что из этого квантор, что - атом, что - терм, что - арность и т. д. раз определение терма пока проблематично.--178.141.104.85 06:32, 23 ноября 2011 (UTC)

Согласен, без примера не очень понятно, а ведь это основы основ. Пришлось перелопатить кучу других определений, несколько раз перечитать английскую статью, чтобы понять что к чему. Это при том, что учил всё это когда-то. Добавил пример (перевёл и расширил из английской статьи про терм). Может и в русскую статью о терме его добавить, но не уверен, что тупое дублирование уместно будет. Так и осталось непонятным почему логические операции отделены от предикатов, если это они по сути и есть, да и зачем предикаты описывать отдельно от функций, если это просто функции с булевым результатом. Разве что для определения формулы потом. Dron007 05:28, 24 сентября 2015 (UTC)

TODO

• В аксиоматику - добавить альтернативные аксиоматики, в частн. Генцена.
• Добавить свойства (полнота, непротеворечивость, неразрешимость), основные результаты (теорема Левингейма-Сколема, и.т.д.) + характерные особенности особенности отличающие от остальных логик.
• Методы автоматического доказательства: резолюция, табло.
• Перечислить важнейшие теории первого порядка: равенство, группы, теория множеств, и т.д.

Хацкер 09:46, 11 апреля 2007 (UTC)

Скобки в определении формул

Следует формулами называть $(F_{1}\vee F_{2})$,... а не $F_{1}\vee F_{2}$, ... Mkot 19:42, 1 июня 2010 (UTC)

Аксиомы

В аксиоматике: for all x A -> A[t/x] верно только при корректной подстановке, то есть если переменные, содержащиеся в t, не попадают в область действия одноименного квантора. Это нельзя упускать. Кто разбирается в теме, поправьте пожалуйста.

93.175.1.62 14:30, 13 мая 2012 (UTC)
93.175.1.62 14:31, 13 мая 2012 (UTC)

Аксиоматика

В указанной аксиоматике невыводимы $\forall x~(\psi \to \varphi )\to (\psi \to \forall x~\varphi )$ и $\forall x~(\varphi \to \psi )\to (\exists x~\varphi \to \psi )$, где $x$ не имеет свободных вхождений в формулу $\psi$. См. Верещагина и Шеня.

epros (обс.) 18:02, 26 августа 2017 (UTC)

Перенаправление с "теории первого порядка"

Теорией первого порядка называют любое множество предложений.

Откуда взялась эта фраза и почему запрос на "теорию первого порядка" перенаправляется сюда? Eozhik (обс.) 04:04, 5 декабря 2019 (UTC)