В математической логике, правила формирования - это правила для описания того, какие строки из символов, образованные из алфавита формального языка, являются синтаксически допустимый в пределах языка. Эти правила касаются только расположения и манипулирования строками языка. Он не описывает ничего другого о языке, например его семантику (т.е. что означают строки). (См. Также формальная грамматика ).
Формальный язык - это организованный установить из символов, причем существенной особенностью является то, что он может быть точно определен с точки зрения только форм и местоположения этих символов. Таким образом, такой язык может быть определен без какой-либо ссылки на какие-либо значения любого из его выражений; он может существовать до того, как ему будет присвоена какая-либо интерпретация, то есть до того, как он будет иметь какое-либо значение. формальная грамматика определяет, какие символы и наборы символов являются формулами на формальном языке.
Формальная система (также называемая логическим исчислением или логической системой) состоит из формального языка вместе с дедуктивным аппаратом (также называемым дедуктивным система). Дедуктивный аппарат может состоять из набора правил преобразования (также называемых правилами вывода) или набора аксиом, либо иметь и то, и другое. Формальная система используется для получения одного выражения из одного или нескольких других выражений. Исчисления высказываний и предикатов являются примерами формальных систем.
Правила формирования исчисления высказываний могут, например, принимать такую форму, что;
A исчисление предикатов обычно включает в себя все те же правила, что и исчисление высказываний, с добавлением кванторов, так что если мы примем Φ как формулу логики высказываний и α как переменную , тогда мы можем взять (α) Φ и (α) Φ как формулы нашего исчисления предикатов.