Обсуждение:Логика первого порядка
Проект «Математика» (уровень III, важность для проекта высокая)
Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
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
править- В аксиоматику - добавить альтернативные аксиоматики, в частн. Генцена.
- Добавить свойства (полнота, непротеворечивость, неразрешимость), основные результаты (теорема Левингейма-Сколема, и.т.д.) + характерные особенности особенности отличающие от остальных логик.
- Методы автоматического доказательства: резолюция, табло.
- Перечислить важнейшие теории первого порядка: равенство, группы, теория множеств, и т.д.
Скобки в определении формул
правитьСледует формулами называть ,... а не , ... 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)
Аксиоматика
правитьВ указанной аксиоматике невыводимы и , где не имеет свободных вхождений в формулу . См. Верещагина и Шеня.
epros (обс.) 18:02, 26 августа 2017 (UTC)
Перенаправление с "теории первого порядка"
правитьТеорией первого порядка называют любое множество предложений.
Откуда взялась эта фраза и почему запрос на "теорию первого порядка" перенаправляется сюда? Eozhik (обс.) 04:04, 5 декабря 2019 (UTC)