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