Формулы логики высказываний

Логика тесно связана с языком, поэтому ему уделяется большое внимание.

Искусственные языки, создаваемые для научных целей, например, для науки логики, называются формализованными языками. При этом задается алфавит, где каждая последовательность символов называется словом. Затем вводится синтаксис – правила, позволяющие определять правильные слова, которые называются формулами [29].

Алфавит логики высказываний состоит из:

· высказывательных или пропозициональных переменных (X, Y, Z, …, W);

· логических констант (0 – ложь, 1 – истина);

· символов логических операций (¯, |, Ú, ®,Ù, …);

· служебных символов, например, символов скобок ([, ], {, }, (,)).

Определение формулы:

· всякая высказывательная переменная – формула;

· всякая логическая константа – формула;

· если F₁и F₂ – формулы, то формулами являются F₁×F₂, F₁ÚF₂, F₁®F₂, ,…(т.е. при наличии знака операции над формулами).

Для обозначения переменных и формул, в математической логике приняты прописные буквы

Язык, служащий для объяснения другого языка, называется метаязыком. На таком языке (на естественном русском) написан этот подраздел.