Может ли кто-нибудь помочь мне объяснить и привести примеры для этого вопроса?Различия между деривативными правилами и допустимыми правилами?
«Есть два способа ввести новые базовые правила: в качестве выводимых правил и в качестве допустимых правил Каковы различия между ними
Благодаря
Admissibility and derivability wiki говорит: -.?.
Выводящее правило является тем, чье заключение может быть получено из его помещений , используя другие правила. Допустимым правилом является тот, чье заключение выполняется, когда помещение сохраняется. допустимые правила - . Для того, чтобы оценить разницу, рассмотрим следующий набор правил для определения натуральных чисел
Вы можете проверить на wiki, который говорит: -
Каждое выводимое правило является допустимым, но не наоборот в Генеральная. Логика логики является структурно полной, если любое допустимое правило выводимо, т. Е. {\ Vdash} = {\, | !!! \ sim}. [5] В логике с хорошо организованным соединением соединительной линии (например, суперинтуиционистской или модальной логикой) правило A_ {1}, \ dots, A_ {n}/B эквивалентно A_ {1} \ land \ dots \ land A_ {n}/B относительно допустимости и выводимости. Это , поэтому принято иметь дело только с унарными правилами A/B.