Поиск толкования / значения слов

Введите слово в форму поиска, чтобы найти его значение

Например: город энергия релакс вариативный Москва

Значение слова квантор

Квантор в словаре кроссвордиста

квантор

Квантор Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание. Чаще всего упоминают: В математической логике приписывание квантора к формуле называется "связыванием" или квантификацией.

Википедия
квантор

( лат. quantum сколько) символ математической логики; логическая операция, дающая количественную характеристику области предметов, к которым относится выражение, получаемое в результате её применения.

Новый словарь иностранных слов
квантор

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

Словарь иностранных выражений
квантор

кв`антор, -а

Словарь русского языка Лопатина
квантор

(от лат. quantum - сколько), логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке носителями таких характеристик служат слова типа 'все', 'каждый', 'некоторый', 'существует', 'имеется', 'любой', 'всякий', 'единственный', 'несколько', 'бесконечно много', 'конечное число', а также все количественные числительные. В формализованных языках , составной частью которых является исчисление предикатов , для выражения всех подобных характеристик оказывается достаточным К. двух видов: К. (все) общности (оборот 'для всех х ', обозначается через " x, ( " x), (x) ( A x), ) и К. существования ('для некоторых х ', обозначения: $ x, ( $ x), (Ех), С помощью К. можно записать четыре основных формы суждений традиционной логики: 'все А суть В ' записывается в виде " x [ A ( x )E E B ( x )], 'ни одно A не есть B ' - в виде " x [ A ( x )E B ( x )], 'некоторые А суть B ' - в виде $ x [ A ( x )& B ( x )], 'некоторые А не суть В ' - в виде $ x [ A ( x )& B ( x )] (здесь А ( х ) означает, что х обладает свойством A , E - знак импликации , - отрицания , & - конъюнкции ). Часть формулы, на которую распространяется действие каких-либо К., называется областью действия этого К. (её можно указать с помощью скобок). Вхождение какой-либо переменной в формулу непосредственно после знака К. или в область действия К., после которого стоит эта переменная, называется её связанным вхождением. Все остальные вхождения переменных называются свободными. Формула, содержащая свободные вхождения переменных, зависит от них (является их функцией ); связанные же вхождения переменных можно 'переименовывать'; например, записи $ x ( x 2 y ) и $ z ( z 2 y ) означают одно и то же, чего нельзя сказать о $ x ( x 2 y ) и $ x ( x 2 t ). Применение К. уменьшает число свободных переменных в логическом выражении и превращает (если К. не 'фиктивный', т. е. относится к переменной, действительно входящей в формулу) трёхместный предикат в двухместный, двухместный - в одноместный, одноместный - в высказывание. Употребление К. кодифицируется специальными 'постулатами квантификации' (присоединение которых к исчислению высказываний по существу и означает расширение его до исчисления предикатов), например, следующими 'постулатами Бернайса': аксиомами A ( t ) E $ xA ( x ) и " xA ( x ) E A ( t ) и правилами вывода 'если доказано С E А ( х ) E С , то можно считать доказанным и С E " хA ( х )' и 'если доказано А ( х )E С , то можно считать доказанным и $ хA ( x ) E C ' (здесь х не входит свободно в С ). К К. общности и существования сводятся и др. виды К., например вместо так называемого К. единственности $ ! x ('существует единственный х такой, что') можно писать 'обычные' К., заменяя $ ! xA ( x ) на $ xA ( x ) & " y " z [ A ( y )& A ( z ) E y z ]. Аналогично, К., 'ограниченный' каким-либо одноместным предикатом P ( x )( $ xP (x) , читается как 'существует x , удовлетворяющий свойству Р и такой, что', а " xp ( x ) - 'для всех х , удовлетворяющих свойству Р , верно, что'), легко выразить через К. общности и существования и операторы импликации и конъюнкции: $ xp (x) A ( x ) º $ x [ P ( x )& A ( x )] и " xp (x) A ( x ) º " x [ P ( x )E A ( x )].Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, с. 72-80, 130-138; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, с. 42-

48. Ю.А. Гастев.

Большая советская энциклопедия, БСЭ
квантор

квантор, -а

Полный орфографический словарь русского языка
квантор

общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание

Викисловарь
Примеры употребления слова квантор в тексте

Во многих вузах студенты-математики используют «квантор» L — пусть, образованный от англ, Let — пусть.[1]

Такая форма является отличительным признаком оператора относительной необходимости, интенсионального оператора, который можно анализировать как квантор ограниченной универсальности на множестве возможных миров.

Но большего их количества и не требовалось – порой один единственный квантор мог легко командовать флотом или координировать работу целой планеты.

Слова которые можно составить из слова квантор
авто автор акр акрон акт актов ано ант антро аон арк арно аро арон арт арто атк атно ато атон вак ван вар варок ват вон вона вор ворт вот вотра вран врк вта втк вто вток втора кав кан кано кант канто кантор каор кар карно каро карт картон кат като катон ква квант квн кво квота кнр коа ков кова ковар кон конт контр контра кор кора коран корат корн корна корт кот кота котар котва кра кран крат кратон крнов кро кроат кров крон крона крот крота кто наво нар нарко наров нарок нарот нартов нато натр ноа нов новак нок нор нора норка норт нот нота нотка нрав нтв нто нтр ока окар окат окн окр октан она онар онат онта оран орк оркан орнат орт орта отвар отк равно рак раков ран рано рант рао рва рвота рка рнав рнк ров рок рока рона ронта рот рота ротан рта рто тавр тавро так тако таков тан танк танок таро тка тко тнк товар ток тока тон тона тонар тонка тор тора торак торк торн трак трнк трнка трок трока трон трона тронк анк кавн тар карвон конта трк оак актор нао окна коан нтк вок отан антк карон тарон нко ранк краон каво карн авн авк варо равк тарнов норат рат тван каон атв ратно окв нарт ктв авр анк овр транк нак вко крт нат нрк тронка овар вкт вкр тарн роа нао ктр рон нотар овра тао рвк траво наро кона окта акн ратон тро арко ота авон воар тав ортак кнар нра ора арв роан ратнов нова окта отра орн торан токар крова ранко ронка кварто тва рова отран каров ако вако твк котра артон танр отв отар нократ варто нта арн ркн рко корнат вратно кнов вотка ворка анко корта аво варк вонк конрат анор натор вора акворт ворна отва акто ронк октав накот овк варт актон това нав тонк тоар карто рав раон авр вано орак квон вота вкра ковра тано октар конар новат катрон тран транко онак авор новка трав трн ратов анкор танков ткон ранов нако аркот танов оан врона варко ковран аркт окан вонак торна врт кван орав ноак вна вартон тов ован троан торкна арвон врано тавон орва кратов окра ранок твар квт нокта вакно тавн арвн атр крв аков ранков ратков трва вока нокт нокат карво канор атов нока овка овта овтар окра тарко токан торкан анов аров такор тавор равон вант рокан твор кнот атн ровка нарк варн кавр котан отав анр втор вотан наркот авкот крант окав нокав торкав ткав корнав рнко

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я