Область применения (логика)
- Область применения квантора или связующего элемента определяет диапазон в формуле, к которой он применяется.
- Понятия свободной переменной и связанной переменной определяются в терминах того, входит ли формула в область действия квантора.
- Связующие элементы включают логическое исчисление, логику предикатов, Булеву алгебру и другие области.
- Объем логической связки в формуле — это наименьшая правильно сформированная формула, содержащая соответствующую связку.
- Кванторы осуществляют контроль над частью логического выражения, называемой областью действия квантора.
- Появление квантора ∀ или ∃ за которым следует появление переменной ξ, является ξ-обязывающим.
- Замкнутая формула — это формула, в которой ни одна переменная не является свободной, а незакрытая формула является открытой.
Полный текст статьи: