Cтраница 3
Высказывание ложно: прямоугольник - ие ромб, но параллелограмм. [31]
Высказывания А и Д заведомо ложны. Но если Б сказал правду, то и В прав ( В действительно видит один белый кружок у Б и три черных), что противоречит предыдущему. [32]
Высказывания об абстрактных объектах становятся знанием о природе лишь постольку, поскольку им могут быть поставлены в соответствие фрагменты внешней реальности, доступные восприятию и орудийному воздействию человека. Для принципиального решения вопроса об объективном характере теоретического знания необходимо показать, что в абстрактных объектах, теоретических схемах и в высказываниях о них находят отражение свойства и законы внешней реальности. Если удается это сделать, то проблема познаваемости мира решается положительно, если - нет, то возникают позиции агностицизма, скептицизма, субъективного идеализма. Различные направления в философии могут быть в этой связи представлены как различные способы решения проблемы объективности знания. [33]
Высказывание ф называется выводимым из 2 ( обозначение: 2 Н ф) тогда. Заметим, что ф выводимо из пустого множества высказываний тогда и только тогда, когда ф - тавтология. [34]
Высказывание, или предложение, - это просто утверждение, которое может быть истинно или ложно. Все эти предложения - атомарные, так как у них нет компонент. Позднее мы займемся составными предложениями вроде высказывания моя машина красная и у нее четыре колеса, которое содержит два отдельных атомарных предложения ( атома), каждое из которых может быть истинно или ложно. Если, например, машина в действительности голубая, то предложение моя машина красная ложно. Если, с другой стороны, это машина обычного типа, то предложение у моей машины четыре колеса истинно. Составное предложение, построенное с помощью связки И, истинно только в том случае, когда истинны обе его компоненты; поэтому наше предложение в целом ложно. Предложение рассматриваемого типа называется в логике формулой. Его истинность может быть определена с учетом истинностных значений его компонент. [35]
Высказывание И истинно лишь тогда, когда истинны все простые высказывания; высказывание ИЛИ истинно, если истинно хотя бы одно простое высказывание; высказывание НЕ истинно, если простое ложно, и наоборот. [36]
Высказывание ф является монотонным тогда и только тогда, когда либо ф эквивалентно некоторому позитивному высказыванию, либо ф истинно, либо - р истинно. [37]
Высказывания представляют собой предложения, которые могут быть истинными или ложными. [38]
Высказывание Р A Q само является предикатом. Для простых алгоритмов это делается достаточно прямолинейно. [39]
Высказывание р устойчиво относительно пересечений тогда и только тогда, когда оно эквивалентно некоторому условному высказыванию. [40]
Высказывание ф выполнимо тогда и только тогда, когда оно имеет хотя бы одну модель. Докажите, что ф выполнимо тогда и только тогда, когда высказывание - ] ф не является истинным. [41]
Высказывания ф и тр называют ( семантически) эквивалентными, если они имеют в точности одни и те же модели. [42]
Высказывание с точки зрения этой науки это утверждение, которое может быть либо истинным, либо ложным. [43]
Высказывание о том, что реакция Демьянова может рассматриваться как последовательность трех механистически интерпретируемых перегруппировок, не имеет какого-либо смысла, поскольку каждое высказывание о выделенной перегруппировке делает невозможным получение какой бы то ни было информации о нашей целостной системе. [45]