В математической логике решение (или суждение) или утверждение — это заявление или высказывание в метаязыке. Например, типичные суждения в логике первого порядка состоят в том, что строка является хорошо сформированной формулой или что предложение истинно.Точно так же суждение может утверждать появление свободной переменной в выражении объектного языка или доказуемость предложения. В целом,…