Пропозициональная переменная
- Пропозициональные переменные являются входными переменными функции истинности в математической логике.
- Они являются основными строительными блоками пропозициональных формул в пропозициональной логике и логиках более высокого порядка.
- Формулы в логике создаются рекурсивно из пропозициональных переменных, логических связок и логических кванторов.
- Пропозициональные переменные обозначаются заглавными латинскими буквами и являются атомарными формулами пропозициональной логики.
- В данной пропозициональной логике формула может быть определена с использованием отрицания и бинарных связок.
- Пропозициональные переменные не следует путать с метапеременными, которые представляют собой хорошо сформированные формулы и обозначаются строчными греческими буквами.
- Пропозициональные константы являются атомарными пропозициями без пропозициональных операторов.
Полный текст статьи: