Суждение (математическая логика)
- Суждение в математической логике — утверждение на метаязыке.
- Примеры типичных суждений включают правильно сформированные формулы и истинность предложений.
- Суждение может утверждать о наличии свободной переменной или доказуемости пропозиции.
- Суждения используются в формализации систем дедукции, где логическая аксиома выражает суждение.
- Варианты систем дедукции в стиле Гильберта имеют особенности, связанные с контекстом.
- Формализация системы дедукции в стиле Гильберта может быть осуществлена без гипотетических суждений.
- Абстракция в понятии суждения может быть использована в теории типов.
Полный текст статьи: