Cтраница 2
Последние 3 столбца мы не заполнили потому, что значения истинности утверждений ( 7), ( 8) и ( 9) необходимо изменить. [16]
Согласно устойчивым расширениям, у скептического агента нет убеждения ни в истинности утверждения вы-брать ( а), ни в истинности утверждения выбрать ( Ь), т.е. робот не выберет ни один из путей, что вполне разумно. Я выхожу, что не соответствует нашим ожиданиям. [17]
Нетрудно видеть, что произведенные нами подсчеты () не противоречат истинности утверждения, высказанного зрителем N. Следовательно, если существует такое распределение мест между четырьмя участниками забега, при котором утверждение зрителя N истинно, то N мог сказать правду. [18]
В экспертных системах и автоматическом доказательстве теорем - способ рассуждений, при котором для доказательства истинности утверждения делается попытка доказать истинность утверждений, из которых оно непосредственно следует; процесс продолжается до тех пор, пока рассуждение не дойдет до известных фактов или не будет получено утверждение, для вывода которого нет правил. [19]
Весьма важно, что фрагмент доказательства, изображенный на рис. 236, использует только значение истинности утверждения ( 7), но не затрагивает содержания. [20]
В структуре цикл - ДО ( рис. 25) сначала выполняется операция S1, а затем определяется истинность утверждения Р, и если оно ложно, то опять выполняется S1 и определяется истинность Р, Если же Р истинно, то выполнение операции S закончено. [21]
В первом случае имеет место так называемый аналитический ( дефинициалъный ] тип утверждений, т.е. тот тип, когда истинность утверждений не подвергается сомнению, как не подвергаются сомнению утверждения типа квадрат - равносторонний прямоугольник или Земля вращается вокруг Солнца. Конечно, к этому типу нежелательно относить утверждения вроде нашего примера, так как имеются не юные студенты, если считать юность до 23 лет. [22]
Действительно, вычеркивание утверждений ( 7), ( 8), ( 9) не изменяет ни значений истинности утверждений ( 1) - ( 6), ни чередования истины и лжи в ответах жительницы Середины-на - Половине спортсменки В. [23]
В экспертных системах и автоматическом доказательстве теорем - способ рассуждений, при котором для доказательства истинности утверждения делается попытка доказать истинность утверждений, из которых оно непосредственно следует; процесс продолжается до тех пор, пока рассуждение не дойдет до известных фактов или не будет получено утверждение, для вывода которого нет правил. [24]
Согласно устойчивым расширениям, у скептического агента нет убеждения ни в истинности утверждения вы-брать ( а), ни в истинности утверждения выбрать ( Ь), т.е. робот не выберет ни один из путей, что вполне разумно. Я выхожу, что не соответствует нашим ожиданиям. [25]
Доказательство истинности утверждения А ( п) при n k называют базой индукции, а доказательство того, что из истинности утверждения для n т следует его истинность для n т 1, называют индукционным шагом. [26]
Мне хотелось бы спросить - обратилась она к Шалтаю-Болтаю - обязательно ли зазеркальный логик должен быть убежден в истинности всех ложных утверждений или просто он убежден в истинности только ложных утверждений. [27]
В этом примере никакого парадокса нет и не может быть, так как утверждение А, записанное, по предположению, на метаязыке, относится к значению истинности утверждения В, записанного на объектном языке. [28]
Таким образом, неверно, что он не убежден в истинности утверждения, а, так как он убежден в истинности всего, что ложно, он должен быть убежден в ложном факте, состоящем в том, будто он не убежден в истинности утверждения. Иначе говоря, наш честный человек убежден, что он не убежден в истинности утверждения. [29]
Текущий вопрос состоит в том, поникли водоросли или нет. Истинность утверждения, что водоросли поникли, существенно подкрепляет утверждение, что будет дождь, а ложность существенно противоречит ему. [30]