Правильно составленная формула
- Формула – это последовательность символов, выражающая математическое утверждение.
- Формула может быть записана несколько раз и может быть настолько длинной, что ее невозможно записать в физической вселенной.
- Формулы являются синтаксическими объектами и имеют значение с помощью интерпретаций.
- Пропозициональное исчисление представляет собой выражения, такие как (A ∧ (B ∨ C)).
- Определение формулы индуктивно определяется с использованием алфавита и правил приоритета.
- Логика предикатов определяет формулу в терминах сигнатуры рассматриваемой теории.
- Атомарная формула не содержит логических связок или кванторов, или эквивалентна формуле без строгих подформул.
- Замкнутая формула, известная как основная формула или предложение, не содержит свободных вхождений переменных.
- Формула на языке арифметики разрешима, если представляет разрешимое множество.
Полный текст статьи: