Суждение (математическая логика)
Материал из Википедии — свободной encyclopedia
В математической логике, суждение, умозаключение или утверждение — высказывание или формулировка на метаязыке. Например, типичными суждениями в логике первого порядка являются утверждение, о том, что строка является правильно сформированной формулой[англ.], или утверждение, о том, что предложение истинно. Аналогично, суждение может утверждать вхождение свободной переменной[англ.], в выражение объектного языка или доказательство пропозиции. В общем смысле, суждением, может быть любое индуктивно определяемое утверждение метатеории.
![]() | Эту статью предлагается удалить. |