Cтраница 2
Истинность такой формулы можно алгоритмически проверить. Тем самым можно алгоритмически проверить истинность любого утверждения о действительных числах, выраженного формулой нашей сигнатуры. Как говорят, элементарная теория действительных чисел со сложением и умножением разрешима. [16]
Истинность высказанных здесь мыслей представляется мне неоспоримой и завершенной. Но со временем Витгенштейн понял: достигнутые им результаты несовершенны, и не потому, что вовсе неверны, а потому, что исследование опиралось на упрощенную, чрезмерно идеализированную картину мира и ее логического образа в языке. Тогда все его силы были отданы более реалистичному прагматическому подходу, предполагающему возможность все новых и новых прояснений и не рассчитанному на окончательный, завершенный итог, на полную логическую ясность. [17]
Истинность конъюнкции эквивалентна истинности каждого дизъюнкта в отдельности, поэтому с такой формулой легче работать. Приведение к такому виду необходимо также для применения метода резолюции ( см. гл. [18]
Истинность основания может быть или доказана опытным путем, на практике, или выведена из истинности др. положений. [19]
Истинность мысли о единстве теории и практики ученый подтверждал многочисленными примерами из житейской практики. [20]
Истинность теоремы, обратной 4.1, была доказана Бруне. [21]
Принципиальная истинность этого закона была признана немедленно. [22]
Истинность неравнозначности высказываний может быть оп ределена с помощью операции отрицания равнозначности. [23]
Истинность последнего равенства очевидна: функция Cn [ e, id ] применяется к тройкам натуральных чисел, а ее значение есть натуральное число, следующее за значением третьего аргумента. [24]
Истинность общего утверждения будет очевидной, если частных утверждений, подтверждающих результат будет достаточно много и не будет опровергающих утверждений. [25]
Истинность результатов дифференциально-термического анализа зависит в конечном счете от правильной градуировки термопар. [26]
Истинность найденных переходных состояний подтверждена анализом силовых постоянных. [27]
Истинность опорного ценового максимума вызывает сомнения, если цена закрытия на следующем баре после его формирования выше экст-раполяционного значения скорости падения ТД - линии для этого бара. [28]
Логическая и фактическая истинность - логические понятия, восходящие к Лейбницу, к-рый различал необходимые истины, или истины разума, и случайные истины, или истины факта: истинность первых вытекает из законов логики, истинность вторых - из соответствия фактическому положению вещей. [29]
Истинность опорного ценового максимума вызывает сомнения, если цена закрытия на следующем баре после его формирования выше экст-раполяционного значения скорости падения ТД - линии для этого бара. [30]