Последующий
- Последовательность – это обобщение простых условных утверждений и безусловных утверждений в математической логике.
- Последовательность состоит из предшествующих формул (Ai) и последующих формул (Bj).
- Последовательность означает, что если все предшествующие условия истинны, то по крайней мере одна из последующих формул истинна.
- Последовательности ассоциируются с секвенциальным исчислением и используются для определения математических расчетов.
- Симметрия классических правил вывода и легкость преобразования правил в интуиционистские являются преимуществами дизъюнктивной семантики в правой части последовательности.
- Пустые списки формул в последовательности могут означать “всегда истинно” (verum) или “всегда ложно” (falsum).
- Последовательности могут быть использованы для определения логических утверждений и доказательства полноты исчисления предикатов.
- Интуитивный смысл последовательности – это формализованное утверждение о доказуемости в рамках теории.
Полный текст статьи: