Простое высказывание

Для представления сложных высказываний, или формул, необходимо простые высказывания объединять с использованием логических связок (1 — отрицание Л — конъюнкция V — дизъюнкция - — импликация = ( ) — эквивалентность) и скобок ( ). [c.49]

Сложное высказывание Я = Давление можно увеличить как центробежным, так и поршневым насосом представляет собой дизъюнкцию двух простых высказываний К = Давление можно увеличить центробежным насосом , Р = Давление можно увеличить поршневым насосом , г. е. Н = К У Р. [c.49]

В сложном высказывании М = Если жидкость содержит твердые взвешенные частицы, то твердые частицы можно отделить от жидкости пропусканием ее через фильтр-пресс выделим три простых высказывания Р = жидкость содержит твердые частицы [c.49]

Под высказыванием понимают предложение, о котором можно судить, является ли оно истинным или ложным. Например, высказывание Идет снег будет истинным, если на улице идет снег, или ложным, если погода ясная. Высказывания могут быть простые и сложные. Примером простого высказывания может служить приведенное выше предложение. Сложное высказывание получается при объединении простых высказываний путем использования логических связей, выраженных союзами и , или , если. .., то>> и другими. Из двух простых высказываний Деталь бракуется по отклонению размера диаметра от заданного , Деталь бракуется по отклонению размера длины от заданного путем использования логической связи или можно построить сложное высказывание Деталь бракуется при отклонении размеров диаметра или длины от заданных . [c.314]

Первое и второе простые высказывания будут истинными (деталь бракуется), если будет зафиксировано отклонение размеров от заданных значений, и будут ложными при отсутствии отклонений. [c.314]

Сложное высказывание будет истинным или ложным в зависимости от того, какими будут простые высказывания. По логике приведенное сложное высказывание будет истинным, если одно из простых высказываний или, тем более, оба будут истинными. Только если оба простых высказывания будут ложными, сложное высказывание будет тоже ложным. [c.314]

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

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

С конъюнктивной связью между простыми высказываниями определяет класс высказываний, который является пересечением классов, полученных для запросов р1 Хи Х2,. . ., Х, ). и р2 Уи У2,. . ., Уп)- [c.69]

В исчислении предикатов именам отношений между объектам соответствует термин предикат , а объектам — аргументы . От дельные простые высказывания, состоящие из предиката и свя занных с ним аргументов, объединяются в сложные высказыва ния с помощью логических связок . В них входят И, ИЛИ, НЕ импликация ЕСЛИ..., ТО... ->), применяющаяся для формиро вания правил. Для того чтобы в исчислении предикатов можн( было манипулировать переменными, вводятся дополнительны структуры — кванторы (квантор общности V и кванто] существования Э). Введенные таким образом средства исчисле ния предикатов позволяют выражать в стандартном виде многи сложные предложения, свойственные разговорному языку, и не изменяя смысла, преобразовывать их в форму, удобную дл обработки на ЭВМ. [c.47]

Логикой (пли исчислением) высказываний называется раздел математической логики, в котором изучаются операции с простыми высказываниями, т. е. с простыми повествовательными иредложениямн, рассмотренными с точки зрения их истинности. Простые высказывания рассматриваются как целые (не-делрмые) конструкции. В логике высказываний исследуется их связь с другими простыми высказываниями. [c.115]

Из простых высказываний, называемых иначе атомарными, образуются сложные высказывания, если соединить простые высказывания знаками логических оиераций. [c.116]

Исчисление высказываний рассматривает высказывания, или утверждения, которые могут быть либо истинньши (Г), либо лож-ньши (Г). Например, высказывание Колонна ректификации разделяет гомогенную смесь жидкостей, имеющих различную летучесть , — научный факт, который всегда является истинным для зеотропных смесей. Каждое простое высказывание можно записать в следующей символической форме, или нотации А = насос увеличивает давление жидкости В = теплообменник применяют для передачи теплоты (где Л и В—истинные простые высказывания, или атомы). [c.49]

Простое высказывание в алгебре логики называется переменной, а сложное -логической (рункцией. [c.314]

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

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

Можно различить два типа прагматической валидизации — знания могут сопровождать действия, а могут стимулировать их изменение. В первом случае валидизация высказывания респондента основана на поддерживающем действии, которое сопровождает высказывание. Имеется в виду нечто большее, чем просто словесно высказанное убеждение, оно должно сопровождаться действиями. Так, в исследовании расовых предрассудков широкий опрос шел дальше просто высказываний респондента против расовой сегрегации и был направлен на то, чтобы определить, сопровождаются ли высказывания соответствующими действиями. [c.246]

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

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