Ограниченный Квантор
- квантор, используемый для характеризации предикатов не на всей области изменения данной предметной переменной, а на ее части, выделяемой нек-рым предикатом R(х). При использовании в качестве О. К. всеобщности квантор и существования квантор обычно обозначаются и . Если - нек-рый предикат, то означает т. Е. Что предикат Р(х)истинен при всех значениях переменной х, удовлетворяющих предикату R(х). Высказывание означает т. Е. Что пересечение областей истинности предикатов R(х)и Р(х)непусто. В арифметике формальной важную роль играют О. К. Вида и где t - терм, не содержащий переменной х. При применении таких кванторов к разрешимым предикатам получаются также разрешимые предикаты. В. Е. Плиско..
Дополнительный поиск Ограниченный Квантор
На нашем сайте Вы найдете значение "Ограниченный Квантор" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Ограниченный Квантор, различные варианты толкований, скрытый смысл.
Первая буква "О". Общая длина 20 символа