Условное обозначение соответствия
- Нотация Фитча используется в логике предложений и логике предикатов для построения формальных доказательств.
- Доказательства в стиле Fitch упорядочивают последовательность предложений по строкам.
- Уникальной особенностью нотации Fitch является степень отступа, которая показывает активные допущения для каждого шага.
- Введение нового допущения увеличивает уровень отступа и создает новую вертикальную полосу «области видимости».
- Механизм нотации Fitch немедленно сообщает, какие предположения активны для любой заданной строки доказательства.
Полный текст статьи: