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