Пропозициональная функция
- В пропозициональном анализе пропозициональная функция или предикат представляет собой предложение, принимающее значение истина или ложь.
- Предложение может содержать несколько переменных, каждая из которых может быть заменена на определенное значение.
- Пропозициональные функции абстрагируются от предикатов или пропозициональных форм и полезны в теории множеств.
- Бертран Рассел исследовал проблему предикативности пропозициональных функций и предложил две теории для ответа на этот вопрос.
- Пропозициональная функция или предикат в переменной x является открытой формулой p(x), которая становится пропозицией при присвоении x определенного значения.
- Пропозициональные функции используются для введения отношений, включая бинарные отношения и отношения арности n.
Полный текст статьи: