Идемпотентность следствия

Идемпотентность следствия — это свойство логических систем , которое гласит, что из многих примеров гипотезы можно получить те же следствия, что и из одного. Это свойство может быть зафиксировано структурным правилом, называемым сокращением , и в таких системах можно сказать, что тогда и следование идемпотентно только тогда, когда сокращение является допустимым правилом .

Правило сокращения: от

А , С , С → Б

является производным

А , С → Б .

Или в последовательного исчисления обозначениях :

${\frac {\Gamma ,C,C\vdash B}{\Gamma ,C\vdash B}}$

В линейной и аффинной логике следствие не является идемпотентным.

См. также

• Теорема о запрете удаления