Я бы не сказал что полнота - это способность системы вывести все ППФ. Точнее было бы сказать так: для любой ППФ способность вывести либо ее, либо ее отрицание, т.е. каждую ППФ можно либо доказать, либо опровергнуть. И поскольку слово "полнота" применятеся во многих ситуациях, я бы подчеркнул, что в данном случае речь идет о синтаксической полноте. Например, таковая полнота фигурирует в теоремах Гёделя о неполноте, но совсм другая полнота (а именно семантическая) фигурирует в теореме Гёделя о полноте.
Здравствуйте, скажите пожалуйста как между собой связаны Аксиоматический метод, Формальные системы и Логика Первого порядка. Что из чего вытекает и как соотноситься?
@@dushkin_will_explain спасибо, а вот для языков первого порядка есть правила то что должна быть сигнатура и могут быть интерпретации. И то есть с помощью карсета ФС мы условно создаём язык логики первого порядка и на ее основе создаём ... что-то создаём, правильно? И то что мы создаём на основе языка логики первого порядка это как называется?
Огромное спасибо за ваши объяснения!
На здоровье.
Спасибо за работу, очень познавательно
Благодарю. Мы стараемся.
Я бы не сказал что полнота - это способность системы вывести все ППФ.
Точнее было бы сказать так: для любой ППФ способность вывести либо ее, либо ее отрицание, т.е. каждую ППФ можно либо доказать, либо опровергнуть. И поскольку слово "полнота" применятеся во многих ситуациях, я бы подчеркнул, что в данном случае речь идет о синтаксической полноте.
Например, таковая полнота фигурирует в теоремах Гёделя о неполноте, но совсм другая полнота (а именно семантическая) фигурирует в теореме Гёделя о полноте.
Благодарю за ценное дополнение.
Здравствуйте, скажите пожалуйста как между собой связаны Аксиоматический метод, Формальные системы и Логика Первого порядка. Что из чего вытекает и как соотноситься?
Аксиоматический метод есть сущность формальных систем, а логика первого порядка является примером формальной системы.
@@dushkin_will_explain спасибо, а вот для языков первого порядка есть правила то что должна быть сигнатура и могут быть интерпретации. И то есть с помощью карсета ФС мы условно создаём язык логики первого порядка и на ее основе создаём ... что-то создаём, правильно? И то что мы создаём на основе языка логики первого порядка это как называется?
@@ehchobyah, хитрый вопрос. Мы создаём формальную систему для синтаксической манипуляции пропозициональными формулами.
Все видео канала по искусственному интеллекту: ua-cam.com/video/n3wEM7P11kI/v-deo.html
Вы всегда можете обратиться к нам за консультациями.
И, кроме того, вы всегда можете написать мне в ТГ: @rdushkin