Диаграмма (математическая логика)
В теории моделей , разделе математической логики , диаграмма структуры — это простая, но мощная концепция для доказательства полезных свойств теории , например, свойства объединения и свойства совместного встраивания , среди других.
Определение [ править ]
Позволять быть языком первого порядка и быть теорией Для модели из один расширяется на новый язык
добавив новый постоянный символ для каждого элемента в где является подмножеством домена Теперь можно расширить к модели
Положительная диаграмма , иногда обозначаемый , представляет собой набор всех тех атомарных предложений, которые содержатся в а отрицательная диаграмма, обозначенная это набор всех тех атомарных предложений, которые не удерживаются в .
Диаграмма из множество всех атомарных предложений и отрицаний атомарных предложений что держится [1] [2] Символически, .
См. также [ править ]
Ссылки [ править ]
- ^ Ходжес, Уилфрид (1993). Модельная теория . Издательство Кембриджского университета. ISBN 9780521304429 .
- ^ Чанг, CC ; Кейслер, Х. Джером (2012). Теория моделей (Третье изд.). Дуврские публикации. стр. 672 страницы.