Диаграмма (математическая логика)
- Структурная схема в теории моделей является мощной концепцией для доказательства полезных свойств теории.
- Определение включает расширение языка L с помощью нового постоянного символа для каждого элемента в модели A от теории T.
- Положительная диаграмма A представляет собой совокупность всех атомарных предложений, содержащихся в A, а отрицательная диаграмма — совокупность всех элементарных предложений, не укладывающихся в A.
- Диаграмма D(A) от A содержит все атомарные предложения и отрицания атомарных предложений языка L A, которые удерживаются в A.
Полный текст статьи: