Элементарное высказывание

Всякое предложение, для которого имеет смысл утверждение о его или истинности или ложности, рассматриваемое в целом (т. е. без учета его внутренней структуры и содержания), называется элементарным высказыванием. [c.37]

Предложения 9 — нечетное число , снег красен , Москва — столица СССР являются элементарными высказываниями. [c.37]

Таким образом, при записи сложных высказываний применяются буквы (обозначающие элементарные высказывания), знаки логических связей и скобки (определяющие строение сложных высказываний). [c.37]

Из истинности высказывания (4.8) следует истинность каждого элементарного высказывания и всех дизъюнкций и конъюнкций элементарных высказываний с количеством членов от 2 до <7 — 1 (здесь нижние индексы символа Р обозначают порядковые номера высказываний при этом некоторые символы с различными порядковыми номерами могут обозначать одинаковые отношения). [c.70]

Технолог составляет алгоритм выбора базы с помощью библиотеки элементарных высказываний. В закодированном виде он задает элементарные высказывания (виды установа и заготовки, наличие конструктивных особенностей детали и т. п.) и конкретные указания с клавиатуры дисплея. После отработки каждого указания программа выдает запрос на продолжение работы. Система из элементарных высказываний формирует предикат, который дополняется расчетом параметров базы. Получаемые подпрограммы выбора баз и расчет их параметров система автоматически помещает в библиотеку подпрограмм выбора баз с ключом, соответствующим коду поискового предписания. Данный подход при подготовке УП (для токарных станков с ЧПУ) снижает трудоемкость на 40 — 50% по сравнению с системой диалога при повышении качества программы. [c.216]

Алгебра высказываний. Основой для построения моделей, описывающих дискретные системы, служит алгебра высказываний или булева алгебра. Если в качестве исходного набора элементарных функций принять г/=0, у=х, у=Хх/ х , у=х /х2, у=Хх- Х2, у хх х , то алгебру высказываний образуют следующие тождества [c.101]

При конструировании сложных высказываний из элементарных выполняемые кванторами и логическими связками функции под- [c.146]

Таким образом, Дюма идет дальше Берцелиуса, признавая, как и Ампер, что гипотеза об одинаковом числе частиц в равных объемах распространяется на все газы, причем он ссылается на признание этого положения всеми физиками. Из данного положения он приходит к следствию о сложности этих частиц и об их способности к делению. Интересно, что Дюма приписывал Гей-Люссаку признание этой гипотезы, хотя в научной литературе Гей-Люссак нигде об этом не говорил. Возможно, Дюма здесь имеет в виду тот факт, что Гей-Люссак, выражая формулу соединения в элементарных объемах, употреблял также и дробные объемы. Далее Дюма высказывается весьма неопределенно о числе атомов ( элементарных молекул ) в молекуле простых тел пока невозможно знать, сколько элементарных молекул (атомов.— М. Ф.) находится в молекулах простых тел [47, стр. 338]. Данное высказывание, как и предположение о том, что деление. .. происходит по-разному, в зависимости от природы соединения [там же], явились в дальнейшем источником некоторых ошибочных выводов Дюма. [c.72]

Будем исходить из того, что всякая система аксиом описывает некоторое множество М объектов и некоторое множество Р отношений между ними, например совокупность всех прямых на плоскости и два отношения наличие или отсутствие параллельности между двумя прямыми. Всякое высказывание, использующее только элементы из М и отношения из Р, будь оно истинным или ложным, назовем допустимым. В действительности, круг высказываний, называемых допустимыми, значительно шире. Например, высказывание допустимое высказывание А является ложным тоже является допустимым. Теперь ясно, как следует улучшить определение полноты. Нужно слово любое заменить выражением любое допустимое , хотя, как мы видели, понятие допустимости высказывания не является элементарным. Мы не будем пытаться дать определение этого важного понятия. [c.94]

Приведенные примеры показывают, что пространство элементарных событий Q и а-поле являются существенными составными частями в определении случайной величины. В заключение этого раздела приведем несколько странно звучащее высказывание о том, что в случайной величине нет ничего случайного. Как изящно сформулировал эту мысль Чен [1.86, с. 75], элементом случайности в Х((о) можно было бы назвать выборочную точку (О, выбираемую случайным образом . ... Но коль скоро [c.47]

Наконец, существуют высказывания [2], что образование зародыша должно происходить путем одновременного столкновения такого количества элементарных частиц, обладающих пониженной кинетической энергией, которого будет достаточно для образования кристалла критического размера. Такое предположение маловероятно, поскольку соответствующие расчеты показывают [5, 44], что для образования такого зародыша необходимо объединение нескольких десятков и даже сотен тысяч частиц. [c.64]

Запросы могут быть простыми и сложными. Простой запрос состоит из одного простого высказывания, сложный — из нескольких простых высказываний, соединенных знаками конъюнкции или дизъюнкции. Под простым высказыванием мы будем понимать высказывание, имеющее в своем составе только один элементарный предикат. Элементарные предикаты задаются списком. В случае поиска сведений по простому запросу высказывание — запрос является родовым по отношению ко всем высказываниям, которые выдаются поисковой системой в качестве ответа на запрос. Процесс поиска заключается в отборе из всего множества высказываний, хранящихся в информационной системе, только таких, которые являются видовыми по отношению к запросу. [c.67]

Понятие логических связей, значения истинности и высказывания. Простейшим разделом математической логики является исчисление высказываний, в котором рассматриваются сложные предложения, получающиеся из предложений, принимаемых за элементарные высказывания, путем присоединения к ним частицы не или путем соединения их в пары с помощью союзов и , или , равнозначно и если. .., то... . Частицу не и перечисленные союзы называют логическими связями или связками. Для их обозначений применяют те же знаки, которые были использованы нами для обозначения алгебро.логических операций. Теперь эти знаки называются знаками логических связей. Логические связи не, и, или, равнозначно, если. .то... обозначают соответственно через, л, V, и —Необходимо заметить, что в русском языке союз или употребляется в различных смыслах. Знак у обозначает неразделительный союз или , [c.36]

Подчеркнем, что исчисление высказываний не дает спо соба определения истинности элементарных высказываний но дает вполне четкие правила определения истинности слож ных высказываний по истинности (но не по содержанию) со ставляющих высказываний. Сложные высказывания A B АмВ, А В, А—у В называются соответственно конъюнкци ей, дизъюнкцией, равнозначностью и импликацией состав ляющих их высказываний А я В, [c.37]

Условимся элементарное высказывание и его значение истинности обозначать одной и той же буквой. При соблюдении такого условия между эквивалентностями исчисления высказываний и равенствами исчисления алгебрологических операций существует взаимно однозначное соответствие позволяющее изучение свойств сложных высказываний за менить изучением алгебрологических операций. Очевидно при этом запись А=В может быть прочитана двояко а) вы оказывания А п В эквивалентны б) числа А к В равны Точно так же запись А=1 (Л=0) может быть прочитана двояко а) высказывание А истинно (ложно) б) число А равно 1 (равно 0). [c.38]

Процесс поиска по простому запросу выполняется в массиве элементарных высказываний согласно правилам, изложенным в пп. 3, 4, 5. Поиск по слонсному запросу, состоящему из высказываний, соединенных знаком дизъюнкции, выполняется также в массиве элементарных сообщений. При этом результаты поиска, полученные для всех простых высказываний, объединяются. [c.70]

В случае конъюнктивной связи между высказываниями в запросе поиск производится в массиве конъюнкций элементарных высказываний, являющихся следствием высказываний вида (4.8). В качестве ответа выдаются такие конъюнкции, которые содержат число членов, равное числу простых высказываний в запросе, а составляютиие их высказывания являются видовыми по отношению к родовым высказываниям запроса. [c.70]

В Каноне нет соответствующего высказывания о мыле, не затронут вопрос о мытье и стирке, и в этом смысле нет и теории моющего действия. Однако в труде начала XI в. мы ищем не современную науку, а приближения к ней. Весьма ценно, что Ибн Сина тонко подметил и по-своему обрисовал отдельные действия , часть которых он, конечно, приписывал и мылу, н которые во многом приближаются к отдельным факторам моющего действия, вявленным в XIX—XX вв. В особенности отметим близость между отрывающим действием (п. 4) и расклинивающим , показанным в комплексе моющего действия Б. И. Тютюнниковым на основе работ Б. В. Дерягина, который писал Действие жидкости, стремящейся раздвинуть сложенные или даже слипщиеся поверхности, мы можем обозначить как расклинивающее действие жидкостей или как элементарный акт набухания [c.40]

Модель элементарной ячейки целлюлозы I впервые построили Марк и Мейер (1928 г.), а затем усовершенствовали Мейер и Миш (1937 г.). Вследствие многочисленных критических высказываний и накопления новых экспериментальньпс и теоретических данных о структуре целлюлозы, модель ячейки продолжали уточнять и модифицировать. [c.246]

В качестве примеров элементарных событий третьего типа можно рассмотреть прохождение такого потока воды на участке (с учетом боковой приточности), который приводит к превышению уровня воды по отношению к отметке бровки русла хотя бы в одном из створов на этом участке, либо возникновение такой ситуации, когда концентрация некоторой конкретной примеси (с учетом рассредоточенных источников загрязнения) в каком-либо створе в пределах этого участка превысит предельно допустимую. Таким образом, любое элементарное событие описывается одним из высказываний (10.4.1), (10.4.2), (10.4.4) или (10.4.4 ). Значения этих высказываний изменяются во времени, причем в любой момент они равны либо истина, либо лосись (или их арифметическим эквивалентам — единица или ноль). [c.387]

Я полностью согласен с теми высказываниями, где говорится, что нужно улучшить методы квантовой химии. Правильно. Но я возражал бы категорически против того, что нужно создавать худшие методы квантовой химии, как это делается в лаборатории проф. Медведева т. Багда-сарьяпом, выдумывающим элементарные эмпирические формулы, которые хуже общепринятых формул. [c.353]

Поразительно по глубине проникновения в будущее высказывание Уолластона, относящееся почти к тому же времени. Когда будут определены точные пропорции, в которых соединяются элементарные атомы, мы увидим, — писал он, — что одни арифметические отношения недостаточны для объяснения их взаимодействия и что необходимо создание геометрической концепции об их относительном расположении (relative arrangement) во всех трех геометрических измерениях. Например, если мы примем, что предел для сближения частиц один и тот же для всех направлений, то, следовательно, пространство, ими фактически занимаемое, будет сферическим (что представляет собою самую простую гипотезу) . При соединении атомов двух видов в пропорции 1 4, согласно Уолластону, устойчивое равновесие достигается, если четыре атома одного вида располагаются в углах четырех равносторонних треугольников, образующих правильный тетраэдр [7, стр. 101, 102]. Но заключение Уолластона пессимистично Вероятно, имеется очень мало надежды на то, что геометрическое расположение первичных частичек когда-либо будет полностью познано . [c.11]

Теорию химического строения под именем цепной теории или учения о связях атомов Кольбе [7, 8] критикует с нескольких точек зрения. Он отмечает, что положение о постоянной (макспл1альной) атомности, после насыщения которой элементы больше не способны вступать в соединение, — ложно , и иронизирует над тем, что, пользуясь только данными элементарного анализа п атомностью, некоторые химики с большой долей произвола строят сложные конституционные формулы. Кольбе ссылается, кроме того, на противоречивость ряда высказываний сторонников теории химического строения в определении конституции, атомности, значения формул и т. д. [c.238]

Отдельные высказывания о необходимости отхода от классического механического рассмотрения проблемы прочности и необходимости учета роли теплового движения в развитии разрушения публиковались начиная с 20-х годов [25, 34, 38—44, 67]. В этих публикациях высказывались предположения о термо-флуктуациоиной природе элементарных актов распада меж- [c.12]

Весьма существенная роль окислам металлов, в частности, ZnO, отводится в теории Бруни и Ромаии i, высказывания которых имеют много общего с только что изложенными взглядами Бедфорда и его сотрудников. Если последние предполагают, что промежуточными соединениями, выделяющими в условиях вулканизации активную серу, являются полисульфиды, то Бруни и Романи считают, что такими промежуточными соединениями являются дисульфиды, образующиеся с непременным участием окислов металлов, в частности, окиси цинка. Основанием к такой предпосылке служит то обстоятельство, что пентаметилентиурамдисульфид в присутствии окиси цинка может вызвать вулканизацию без наличия элементарной серы в смеси. В противовес этому дитиокарбаматы требуют для вулканизации обязательного присутствия серы. Так как Бруни и Романи установили, что тиурамдисульфиды образуются при действии свободной серы на металлические производные дитиокарбаматов, то они предложили следующую схему действия дитиокарбаматов и дериватов тиомочевины [c.351]

Под объектами могут подразумеваться различные по характеру элементы определеннрле материальные предметы или классы таких предметов (химические соединения, элементарные частицы, живые организмы, ма пшш, приборы, установки, физико-химические системы и т. д.) различные процессы или явления (производственные, физические или химические процессы, биологические явления), а также различные теоретические поиятия (например, энтропия, вероятность, информация), теоретические представления (различные зависимости и закономерности). Общим их свойством является то, что все они представляют объекты мысли , т. е. оии могут быть указаны па языке науки с помощью определенных, обозначающих их языковых выраи ений (терминов), из которых при помощи другого рода языковых средств (предикатов) образуются осмысленные предложения (высказывания). Такие осмысленные высказывания, сформулированные па том или ином естественном языке, представляют собой прпвычпые д.тш пас кванты смысловой информации , другими словами, кванты знания об опроделенпом фрагменте окружающей нас действительности. [c.23]

Остается рассмотреть еще характер тех сокращений, которые произвел Д. И. в оттиске своей старой статьи. Эти сокращения коснулись прежде всего первоначальной таблицы элементов, носившей название Опыт системы элементов, основанной на их атомном весе и химическом сходстве . Эта таблица была длинной таблицей горизонтального типа. Но в качестве выражения естественной системы элементов Д. И. к началу 1871 г. уже твердо установил новую форму таблицы — короткую таблицу вертикального типа. Поэтому все сомнения относительно правомерности такой короткой таблицы, которые высказывались им в его старой статье, и все возражения против нее, казавшиеся ему тогда основательными, он опустил как отпавшие (см, стр. 13 оттиска). Опустил он и самую таблицу, выражавшую первоначальный Опыт системы элементов (см. стр. 11 оттиска), и комментарии к ней (см. там же, стр. 12). В связи с этим исправлены слова Привожу за сим одну из многих систем элементов, основанных на их атомном весе (там же, стр. 10), и положение высказано более определенно, поскольку установилась короткая форма естественной системы элементов Привожу за сим [ ] систему элементов, основанную на законе периодичности, т. е. на атомном весе . Соответственно этому опущены оговорки, которые были не только уместны, но и необходимы, пока речь шла об Опыте системы , но которые потеряли свое значение, поскольку от Опыта системы Д. И. перешел к строго обоснованной Естественной системе элементов . Так, он опустил слова Сам вижу, что эта попытка неокончательна (стр. 10 оттиска) примечание, начинавшееся предположительным высказыванием Может быть, прилагаемую таблицу было бы рациональнее расположить так , Д. И. изменил на определенное, утвердительное Прилагаемую таблицу [ ] можно расположить [ ] иначе (там же). Точно так же опущены слова, касающиеся закона периодичности Если это убеждение подтвердится дальнейшим применением выставленного начала к изучению элементов, то мы приблизимся к эпохе понимания существенного различия и причины сходства элементарных тел (там же, стр. 10). О том, что в середине 1871 г. эти соображения перестали быть предположительными и полностью подтвердились, видно из высказывания Д. И. в новой статье замечу предварительно, что считаю уже не маловажным подтверждением справедливости закона периодичности даже самое то обстоятельство, что для всех ныне хотя сколько-либо известных элементов возможно было найти надлежащее место на основании применения нашего закона (Новые материалы, стр. 48). Ту же мысль Д. И. повторил и позднее, когда он писал в феврале 1873 г. Если бы закон не был общ, если бы он пе давал ключа к разрешению вопросов, относящихся к элементам, то, я думаю, встретились бы затруднения, родились бы исключения, столь несвойственные истинным, численным законам природы, остались бы orps а serier, но этого не произошло, все известные элементы подошли под [c.504]

Высказывания о непрерывно изменяющейся валентности и соединениях в полном смысле переменного состава , когда любой состав фазы можно считать за химическое соединение, конечно, противоречат идее дискретности элементарных актов. С другой стороны, считать фазы, подобные дальтонидам и бертоллидам, промежуточными твердыми растворами или доводить признания химического характера связей между одинаковыми атомами до того, что считать все простые вещества химическими соединениями,— это значит заранее отказаться от умения видеть новое качество в результате химического превращения. [c.61]

Справочник химика 21

Химия и химическая технология