Правило формирования
Часть серии о |
Формальные языки |
---|
В математической логике правила формирования — это правила, описывающие, какие строки символов , образованные из алфавита формального языка, являются синтаксически действительными в этом языке. [1] Эти правила касаются только расположения строк языка и манипулирования ими. Он не описывает ничего другого о языке, например его семантику (то есть, что означают строки). (См. также формальную грамматику ).
Формальный язык [ править ]
Формальный язык — это организованный набор символов , существенной особенностью которого является то, что его можно точно определить с точки зрения формы и расположения этих символов. Таким образом, такой язык можно определить без каких-либо ссылок на какие-либо значения любого из его выражений; оно может существовать до того, как ему будет присвоена какая-либо интерпретация , то есть до того, как оно обретет какое-либо значение. Формальная грамматика определяет, какие символы и наборы символов являются формулами формального языка.
Формальные системы [ править ]
Формальная система (также называемая логическим исчислением или логической системой ) состоит из формального языка вместе с дедуктивным аппаратом (также называемым дедуктивной системой ). Дедуктивный аппарат может состоять из набора правил преобразования (также называемых правилами вывода ) или набора аксиом , либо иметь и то, и другое. Формальная система используется для получения одного выражения из одного или нескольких других выражений. Исчисления высказываний и исчисления предикатов являются примерами формальных систем.
и предикатная Пропозициональная логика
Правила формирования исчисления высказываний могут, например, принимать такую форму:
- если мы возьмем Φ как пропозициональную формулу, мы также можем взять Φ — формула;
- если мы возьмем Φ и Ψ как пропозициональные формулы, мы также можем взять (Φ Ψ), (Ф Ψ), (Ф Ψ) и (F Ψ) тоже будут формулами.
Исчисление предикатов обычно включает в себя все те же правила, что и исчисление высказываний, с добавлением кванторов , так что если мы возьмем Φ как формулу логики высказываний и α как переменную , то мы можем взять ( а) F и ( α)Φ каждая будет формулой нашего исчисления предикатов.
См. также [ править ]
Ссылки [ править ]
- ^ Хинман, Питер (2005). Основы математической логики . АК Петерс/CRC Press . Проверено 17 ноября 2022 г.
Определение синтаксиса любого языка L следует общему шаблону. Сначала дается набор символов, и мы определяем L-выражение как любую конечную последовательность этих символов. Затем мы указываем один или несколько наборов L-выражений, которые мы считаем значимыми. Осмысленными выражениями обычно называют выражения, построенные по определенным правилам или алгоритмам, а их множество характеризуется как наименьшее множество выражений, замкнутое по этим правилам формирования.