Истинность - утверждение
Cтраница 3
Прежде всего необходимо выяснить, какие утверждения истинны и какие ложны. Истинность утверждений тесно связана с тем, где живут Л, В и С. [31]
 |
Схема логического сложения.| Схема логического умножения. [32] |
Но поставка комплектующих деталей зависит от многих условий. Если истинность утверждения о выполнении плана рассматривать как функцию истинности условий, то возникают длинные цепочки логических рассуждений. Анализировать такие цепочки, представленные в словесной форме, трудно. На помощь приходит алгебра логики, основы которой были заложены английским математиком Булем. [33]
Утверждение ( 9) полностью не известно. Об истинности утверждения ( 7) сказать заранее ничего нельзя: его мог высказать и житель Прав-дычина, и житель Кривдина, и тот, кто живет в Середине-на - По-ловине. [34]
Для пА 1 истинность утверждения очевидна. Если же пА, то рассмотрим следующие три случая. [35]
ЕСЛИ объект world базируется на предположении о лживости метавысказывания, ТО предположить, что персонаж лжет. Каких-либо предположений об истинности утверждения ие делается. [36]
 |
Отношение рассмотрен Цель, Трасса, Ответ. [37] |
Она спрашивает пользователя об истинности утверждения Цель, а также отвечает на вопросы почему. [38]
Из существования К-неразрешимого множества следует и существование К-неразрешимых проблем, т.е. проблем, для которых разрешающая функция не представима в К-системах. Например, проблема распознавания истинности утверждения п S D для произвольного натурального числа п К-не разрешима. [39]
Для этого просматриваются все факты и правила, составляющие программу, и ищется факт, сопоставимый с подцелью, или правило, заголовок которого сопоставляется с ней. Если такой факт найден, то истинность утверждения считается доказанной и берется следующая подцель. Если найдено правило, то ПРОЛОГ пытается по тем же правилам доказать истинность всех подцелей данного правила. [40]
Утверждение ( 14) также ложно, поскольку одна из девочек ( Эржи) не солгала ни разу. А если утверждение ( 5) истинно, то из истинности утверждения ( 2) следует, что утверждения ( 4) и ( 8) ложны. Но если утверждение ( 8) ложно, то противоположное утверждение ( I) истинно, а опровергающее его утверждение ( 3) ложно. [41]
Следует отметить, что, как всякие подобные сочинения, эта книга, несмотря на все стремление автора быть объективным, имеет в определенной степени субъективный оттенок, поскольку основными доводами в. На самом деле в ряде случаев, чтобы убедиться в истинности высказываемых утверждений, полезен был бы более строгий подход. [42]
Конструктивная математика изучает конструктивные объекты и рекурсивные операции над ними. Способ рассуждения выбирается таким, чтобы он сохранял рекурсивный характер истинности утверждений. [43]
Это доказательство основано на построении противоречия по следующей схеме. Если из ложности утверждения А вытекает ложность утверждения В, то из истинности утверждения В вытекает истинность утверждения А. [44]
В связи с этой дискуссией я должен подчеркнуть, что термины алгоритм и алгоритмический относятся к чему угодно, что может быть ( достоверно) смоделировано на компьютере общего назначения. Наиболее серьезным из этих контраргументов является следующий: чтобы действительно убедиться в истинности утверждения Pk ( k), нам нужно знать, какой именно алгоритм использует математик, и при этом быть уверенным в правомерности его использования в качестве средства достижения математической истины. [45]
Страницы: 1 2 3 4