Какие есть системы аксиом исчисления высказываний? Названия. Если можно, то ссылку на источники, где можно про них почитать.

задан 9 Янв 21:23

Есть система аксиом для гильбертова исчисления высказываний -- там их обычно приводится 10, и это довольно громоздкая система. Работать с ней не очень удобно. Проще устроена система, в которой всего три схемы аксиом. Она описана в учебнике Мендельсона. Там же даны основные следствия этих аксиом, и доказана теорема о полноте ИВ.

Если хотите, можете также почитать этот "популярный" текст.

(9 Янв 22:17) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×655

задан
9 Янв 21:23

показан
105 раз

обновлен
9 Янв 22:17

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru