мат. логика: что можно использовать в аксиоматическом методе

[Di081]

В аксиоматическом методе кроме аксиом и modus ponens, что ещё можно использовать?

[maxmatem]

Как мне помнится если вы работаете с исчислением высказываний (ИВ), то вы пользуйтесь только аксиомами и MP. Но когда вы вводите понятия выводимости из гипотез , т.е даете определение вывода формулы ИВ , то там гораздо больше правил вывода.

[Di081]

Спасибо.. Да я с исчисление высказываний работаю.. а правило транзитивности и т.п. нельзя использовать?? Нашла пример где используют закон дистрибутивности...

[Maslov]

Di081 в сообщении #405272 писал(а):

правило транзитивности и т.п. нельзя использовать?

Можно. И производные правила вывода (введение/удаления логических связок), и теорему о дедукции -- можно использовать.
Только сначала всё это надо доказать, пользуясь только аксиомами и MP.

[Di081]

о точно!! вспомнила)) спасибо