Связки логические

В течение некоторого времени мы занимались такого рода логической деятельностью, хотя вначале возникла теория доказательств и лишь впоследствии — семантика. История вопроса примерно такова. Довольно давно, в 1962 г., А. Андерсон и я предложили рассмотреть группу выводов, которые мы назвали тавтологическими следствиями, т. е. группу, включающую в себя все разумные выводы (содержащие связки , V. ). которые всякий психически нормальный и достаточно тренированный логик хотел бы сделать. Мы построили различные формализации этих выводов в виде теории доказательств и показали, что восьмизначная матрица достаточна для того, чтобы охарактеризовать эти выводы семантически. [c.225]

В исчислении предикатов, в отличие от исчисления высказываний, заданы правила оперирования не только с логическими связками, но и с кванторами. В исчислении предикатов высших порядков кванторы употребляют как с предметными переменными, так и с предикатными символами и функциональными переменными. Каждому предикатному символу соответствует некоторое имя, представляющее собой название отношения, отображаемого этим предикатом. В общем случае отношение — это совокупность <р упорядоченных наборов из п элементов данного множества в каждом наборе элементов. Элементы, входящие в один набор, находятся в отношении <р между собой, и его обозначают формулой У (й1,-, ) [c.50]

В настоящее время успешно проводятся исследования по разработке моделей ОЕЯ (русского и английского языков) химиков-технологов, которые используют МПЗ в виде ИП, ПП и СГ [58, 59]. При помощи ИП можно в стандартном виде отобразить многие сложные предложения ОЕЯ. При этом можно избежать двусмысленности таких предложений, записанных в виде логических формул ИП, удобных для обработки с помощью ЭВМ. Такие преобразования предложений ОЕЯ в виде логических формул возможны благодаря тому, что одни логические связки ИП могут быть эквивалентно выражены через другие. [c.146]

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

Эта логическая функция на самом деле содержит две разные логические функции со связкой ИЛИ [c.158]

И(Х1-Х2), два контакта, установленные параллельно (так, что срабатывание любого из контактов делает линию токопроводящей), выполняют роль связки ИЛИ ( 1 + Ха) контакт, работающий па размыкание, осуществляет логическую операцию ОТРИЦАНИЕ (инверсия). [c.146]

Найдем пересечение нечетких подмножеств, которое соответствует логической связке и [c.86]

В частном случае, когда нечеткая переменная принимает только два значения О или 1, рассматривается булева переменная, для которой также выполняются указанные выше свойства соответствующих операций. Однако следующие свойства операций умножения и сложения булевой переменной, соответствующие логическим связкам и , или a-a = 0 a + a = l, [c.88]

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

Сравнение (2.53) и (2.55) показывает, что в этих группах условий осуществляется замена логической связки и на или и наоборот. [c.90]

В нашем логическом уравнении мы использовали классические связки конъюнкцию (AND), дизъюнкцию (включая OR) и логическое отрицание (NOT). Например, аЬ + с читается как а AND (NOT b) OR с [a и (не b) или с]. Я хотел бы обратить внимание на то, что там, где модель предполагает косвенное взаимодействие между двумя элементами, такое взаимодействие не должно описываться в явном виде в логических уравнениях это автоматически берет на себя формализм. [c.353]

Как уже было сказано, при использовании наборов поисковых терминов используются логические связи конъюнкции, дизъюнкции и отрицания, а также связки с использованием синтаксических указателей, т. е. связки +Ц, +Р, +У. [c.109]

Прямая часть поискового предписания начинается ключевым словом ПРЯМ. После него записываются поисковые термины, соединенные логическими связками. Группа терминов, ограниченная точкой с запятой, составляет поисковое выражение. Точка с запятой указывает на то, что сначала должны обрабатываться поисковые термины, стоящие перед этим разделителем. Выражение может быть скомбинировано с другим выражением путем задания одной из связок или + после точки с запятой. Прямая часть поискового запроса заканчивается также точкой с запятой. [c.109]

Существует особенность использования в поисковом предписании логической связки НЕ. Она не может находиться непосредственно после дизъюнктивной связки перед открывающей скобкой в начале прямой части . [c.110]

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

Логические связки имеют следующий приоритет [c.124]

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

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

V - знак логической связки ... или. .. [c.5]

V знак дизъюнкции (или логической связки ... или. .. . [c.9]

В косвенном запросе по заданным значениям характерных признаков необходимо найти значения данных, например выбрать коды предприятий, которые за прошедший месяц выполнили план менее чем на 80%. Естественно, что для задания условий поиска в языке пользователя должны присутствовать отношения типа <,>,=, , , и логические связки И и ИЛИ для задания более сложных запросов. [c.90]

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

Второе замечание касается того, что наши четыре значения были предложены только в связи с выводами и мы, безусловно, не предполагали использовать их для определе-НИЯ.Т0Г0, какие формулы со связками , V и рассматриваются в качестве, так сказать, логических истин. Фактически ни одна формула не принимает всегда значение Т, и, следовательно, это свойство не может служить семантиче- [c.228]

Язык ПРОЛОГ (РКОШС — PROgrantming т ЬОСк) — это язык интеллектуального программирования высокого уровня, основанный на исчислении предикатов 1-го порядка (см. разд. 5.1 и 5.4). Программы на ПРОЛОГе представляют собой совокупность фактов (утверждений) и правил. Утверждения (факты) отображаются предикатами, логическими связками и константами, образующими БД. Правила отображаются дизъюнктами Хорна (см. разд. 5.4). Выполнение программы на ПРОЛОГе инициируется запросом, состоящим из предикатов, логических связок, констант и переменных. [c.217]

В предыдущей главе мы, по существу, уже прошли часть пути, ведя анализ с субстратных позиций, и обнаружили при членении общего (системы атомов) такую структурную часть (элемент), как изопротонный генетический ряд. Этот элемент структуры Системы атомов при рассмотрении его внешних (по отношению к ядру) свойств показал, что этой, второй, своей ипостасью, он выступает в качестве элемента системы нового, более высокого уровня организации вещества. Заработала электронная оболочка, одинаковая для всех атомов этого ряда, что тождественно смыслу, приписываемому ранее химическому элементу. Вот мы и наткнулись на него, идя снизу вверх. Самое время было бы придумывать этому понятию название, если бы наука не присвоила его авансом, назвав "химическим элементом . И потому нам остается только сделать более или менее мягкую стыковку двух уровней организации материи и сделать логически корректную и лингвистически правильную связку понятий "изопротонного генетического ряда , "вида атомов , "химического элемента . [c.141]

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

Отрицание обозначается символами с ф или НЕ . Использование этой связки требует, чтобы последующий термин отсутствовал в сведении. В АИДОС эту связку можно применять вместе с логической связкой + , а также с операторами сравнения, что обеспечивает релевантность только тех сведений, которые удовлетворяют условиям, требуемым для этой связки, и не содержит термина, записанного после знака отрицания. [c.25]

ВИИ с адресной ссылкой на инверсный файл извлекаются требуёмые списки номеров сведений. Причем список. номеров сведений, соответствующий каждому термину, всегда увязывается с предшествующей логической связкой (И, ИЛИ, НЕ) с ранее полученным списком номеров. После обработки последнего термина из этой части предписания из фонда извлекаются сведения, номера которых представлены в резу/1ьтирующем списке, и заносятся в специальный буферный файл, который предназначен для проведения последовательного поиска. Последовательной проверкой условий, представленных в последовательной части предписания, устанавливаются сведения, релевантные для всего запроса в целом. [c.100]

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

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