Логическая связка
Cтраница 3
При построении поисковых информационных систем логические связки играют значительную роль. [31]
Доказать, что не существует логической связки о, соединяющей два высказывания языка PL, отличающейся от и: ( см. пример 1.6.5), и такой, что множество связок о образует полную систему. [32]
Сравнения могут комбинироваться с помощью логических связок and, or и not. Из последнего примера видно, что в SOL не предусмотрено автоматического удаления дубликатов. [33]
 |
Графическое представление булевых функций и операций с ними. [34] |
Импликация ( включение) соответствует логической связке если... [35]
& одной строке условия соединяются логической связкой И ( мультипликативные, совместно действующие условия) несколько условий. [36]
Существует особенность использования в поисковом предписании логической связки НЕ. [37]
Аналогично разбираются и все остальные случаи и логические связки. [38]
В построении программы для вопросов, включающих логические связки, отрицания и слова, выражающие отношение, не должно встретиться существенных трудностей. [39]
Интенсионалы понятий в АС представляются в виде логических связок. Логические связки, а следовательно, и коннекторы могут иметь практически любой характер. Однако нужно помнить, что любое расширение класса коннекторов ведет к снижению эффективности алгоритмов логического вывода, а сужение - к снижению выразительных возможностей языка. АС считается полностью определенной, если заданы множества: структурных связок ( по одной для каждого понятия); логических связок; коннекторов ( по одной для каждой логической связки) и, кроме того, универсальное множество объектов различных сортов, из которых могут быть составлены конфигурации. Полная непротиворечащая конфигурация, коннекторы которой имеют истинное знание, называется моделью. [40]
Конструирование сложных высказываний из элементарных с помошью логических связок и кванторов подчиняется определенным правилам, которые называются правилами вывода. [41]
Фактически мы просто описали здесь истинностные таблицы логических связок. [42]
Мы ожидаем, что настоящее интуиционистское понимание логических связок таково, что из доказательства истинности суждения всегда можно извлечь способ построения объектов, существование которых утверждается. Так, если в конкретной ситуации мы признали истинность дизъюнкции ( V), то конструкция, подтверждающая это суждение, должна давать способ указания истинного члена этой дизъюнкции. [43]
Язык логики предикатов, используя содержащиеся в нем логические связки и кванторы, позволяет формализовать большинство разговорных фраз. [44]
Здесь V - квантор общности, л - логическая связка И, - - логическая связка ЕСЛИ - ТО. [45]
Страницы: 1 2 3 4