1. Задается алфавит, т. е. исходные символы:
а) нелогические символы
б) логические символы
в) вспомогательные, технические символы
2. Задаются правила образования различных выражений языка.
а) Формулы - первый из типов правильно построенного языкового выражения формализованного языка, аналог предложения, его логическая форма.
Язык классической логики высказываний.(в нем игнорируется внутренняя структура простых высказываний)
1. Алфавит:
а) нелогические символы - пропозициональные переменные - их количество бесконечно: p, q, r, s...
б) логические символы - знаки функций истинности - пропозициональные связки: *отрицание*, &, V, *импликация*, *тождественое равенство*
в) технические символы - (,) (скобки)
2. Правила образований языковых выражений. Формулы.
а) всякая пропозициональная переменная является формулой.
б) если А - формула, то *неверно*А - тоже формула.
в) если А и В формулы, то
А&В, АVВ, А*импликация*В, А*тождественно равно*В - тоже формулы.
г) ничто другое формуолй не является.
10. Язык классической логики предикатов: алфавит, понятия терма и формулы.