Cтраница 1
Кванторы по элементам множеств Ма универсальные, кванторы по элементам N могут быть обоих родов. [1]
Кванторы в многосортном исчислении предикатов истолковываются как ограниченные кванторы, относящиеся к соответствующим основным множествам. [2]
Кванторы для каждого и все в правилах I - IV надлежит понимать в том смысле, что вместо X и У можно подставлять любую из четырех групп крови О, А, В и АВ. [3]
Квантор берется по множеству двоичных наборов а соответствующей длины; а - противоположный набор. [4]
Кванторы в реляционном исчислении играют ту же роль, что декларации в языке программирования. Понятие свободной переменной аналогично понятию глобальной переменной, описанной вне текущей процедуры. Понятие связанной переменной аналогично понятию локальной переменной, описанной в текущей процедуре. [5]
Кванторы в логике предикатов необходимы для определения области действия переменных. [6]
Кванторы) формулой / х ( А ( х) В ( х)), Если толковать А к В как свойства, то истинность этой формулы означает, что всякий предмет, обладающий свойством А, обладает и свойством В. Такое толкование верно и для тех случаев ее истинно-сти, когда либо ни один предмет не обладает свойством А, либо всякий предмет обладает свойством В. [7]
Кванторы ( и вообще операторы - грамматические служебные элементы логического языка, частным случаем которых являются кванторы) употребляются всегда при некоторых переменных, подобно тому, как артикли всегда сочетаются с существительным в таких языках, как английский, немецкий, французский. [8]
Кванторы в логике предикатов необходимы для определения области действия переменных. [9]
Кванторы опять приводят к трудностям, которые следует разрешить, но которые я еще полностью разрешить не в силах. Основная трудность заключается в том, что нам нужно следить, чтобы сетапы и эпистемические состояния компьютера были конечными, тогда как предложения с кванторами, в случае если область действия кванторов бесконечна, содержат бесконечную информацию. Мы обсудим здесь только отдельные пункты, касающиеся указанной проблемы. [10]
Кванторы опять приводят к трудностям, которые следует разрешить, но которые я еще полностью разрешить не в силах. Основная трудность заключается в том, что нам нужно следить, чтобы сетапы и эпистемические состояния компьютера были конечными, тогда как предложения с кванторами, в случае если область действия кванторов бесконечна, содержат бесконечную информацию. Мы обсудим здесь только отдельные пункты, касающиеся указанной проблемы. [11]
Кванторы, относящиеся к одной и той же связанной переменной, мы называем одноименными. [12]
Кванторы употребляются по всем сортам переменных. [13]
Кванторы Эх и Vx называются двойственными друг другу. [14]
Квантор Э булевой алгебры Я всегда является оператором замыкания. [15]