Քվանտորներ

**Քվանտոր՝** տրամաբանական գործողությունների ընդհանուր անվանումն է, որ սահմանափակում է դատողության ճշմարտության շրջանակը և ստեղծում ասույթ։ Ամենից հաճախ նշվում է.
* Ընդհանրության քվանտոր (նշանակում են ՝ \forall, կարդացվում է՝ «ցանկացած…», «կամայական…», «յուրաքանչյուր…», «բոլոր…», «ամեն մի…»)։
* Գոյության քվանտոր (նշանակում են՝ \exists, կարդացվում է՝ «գոյություն ունի…» կամ «կա…»)։
Մաթեմատիկական տրամաբանության մեջ քվանտորի վերագրումը բանաձևի կոչվում է պարտադիր կամ քվանտիֆիկացում։

## Օրինակներ
P(x)–ով նշանակենք «*x*-ը բաժանվում է 9-ի» ասույթը։ Օգտագործելով ընդհանրության քվանտորը,մենք կարող ենք բանաձևը գրել հետևյալ ասույթների տեսքով (ճշմարիտ, կեղծ)․
# ցանկացած բնական թիվ 9-ի բազմապատիկ է,
# յուրաքանչյուր բնական թիվ 9-ի բազմապատիկ է,
# բոլոր բնական թվերը 9-ի բազմապատիկներ են,
այս եղանակով՝
: (\forall x \in \mathbb{N}) P(x).
Հետևյալ (արդեն ճշմարիտ) ասույթներում օգտագործում են գոյության քվանտորները․
# կան բնական թվեր, որոնք բաժանվում են 9-ի,
# կա 9-ի վրա բաժանվող բնական թիվ,
# առնվազն մեկ բնական թիվ 9-ի բազմապատիկ է։
Բանաձևային տեսքով՝
:  (\exists x \in \mathbb{N}) P(x).

## Ներածություն
Թող X բազմության վրա P(x) դատողությունը լինի՝  «x պարզ թիվը կենտ է»։ Այս դատողության սկզբում դնենք «ցանկացած» բառը։ Մենք ստանում ենք կեղծ ասույթ «ցանկացած x պարզ թիվ կենտ է» (այս պնդումը կեղծ է, քանի որ 2-ը զույգ պարզ թիվ է)։

P(x) դատողությունից առաջ դնենք «գոյություն ունի» բառերը, կստանանք ճշմարիտ ասույթ․ «Գոյություն ունի x պարզ թիվ, որը կենտ է»(օրինակ, x=3)

Այս օրինակում, կարելի է դատողությունը փոխարինել ասույթով՝ դատողությունից առաջ դնելով հետևյալ բառերը («բոլոր», «գոյություն ունի» և այլ), որոնց՝ տրամաբանությամբ, անվանում են քվանտորներ։

## Քվանտորները մաթեմատիկական տրամաբանության մեջ
* \forall xP(x) ասույթը նշանակում է, որ x փոփոխականի արժեքների տիրույթը ընկած է P(x) ճշմարիտ դատողության բազմությունում։ 
(«x–ի բոլոր արժեքների համար ճշմարիտ է»)։
* \exists xP(x) ասույթ նշանակում է, որ P(x) դատողության ճշմարտության տիրույթը դատարկ չէ։
(«Գոյություն ունի x, որ այս պնդումը ճշմարիտ է»)։

### Գործողություններ քվանտորներով
**Քվանտորների ժխտման կանոնը՝**  օգտագործվում է քվանտոր պարունակող ասույթների ժխտումները կառուցելու համար, և ունի հետևյալ տոսքը․

\lnot (\forall x)P(x) = (\exists x) \lnot P(x)\lnot (\exists x)P(x) = (\forall x) \lnot P(x)

**<math>A</math> և <math>B</math> ասույթների տրամաբանական գումարը՝** A\lor B  \bigl(A  կամ B\bigr) ասույթը ճշմարիտ է, եթե ճշմարիտ է A և B ասույթներից գոնե մեկը, և կեղծ է, եթե երկուսն էլ կեղծ են։

**<math>A</math> և <math>B</math> ասույթների տրամաբանական արտադրյալը՝** A\land B  \bigl(A և B\bigr)  ասույթը ճշմարիտ է, եթե ճշմարիտ են և՛ A–ն, և՛ B–ն  և կեղծ է, եթե դրանցից գոնե մեկը կեղծ է։

**Երրորդի բացառման օրենքը՝ <math>A</math>** և **<math>\lnot A</math>  <math>\bigl( </math>ոչ <math>A\bigr)</math>**ասույթներից մեկը ճշմարիտ է, մյուսը՝ կեղծ։

### Դե Մորգանի օրենքները
**<math>\lnot \bigl(A\lor B\bigr) \Leftrightarrow \bigl(</math><math>\lnot A\bigr)\land</math><math>\bigl(\lnot B\bigr)</math>,**

**<math>\lnot \bigl(A\land B\bigr) \Leftrightarrow \bigl(</math><math>\lnot A\bigr)\lor</math><math>\bigl(\lnot B\bigr)</math>։**

## Ստեղծման պատմություն
Փիլիսոփաները վաղուց ուշադրություն են դարձրել տրամաբանական գործողություններին, որոնք սահմանափակում են դատողության ճշմարտության տիրույթը, բայց դրանք

գործողությունների առանձին դասի չեն բաժանել։ Այսպիսով, Թոմաս Հոբսը հավատում էր, որ դրանք հանդիսանում են անունների մասեր։

Չնայած, տրամաբանական քվանտորում  կոնստրուկցիաները լայնորեն կիրառվում էին ինչպես գիտական, այնպես էլ ամենօրյա խոսքում,սակայն դրանց հրապարակումը տեղի ունեցավ միայն 1879 թվականին, Ֆրեգեի «Հայեցակարգերի հաշիվը» գրքում։ Ֆրեգեի նշանակումները նման էին խոշոր գրաֆիկական կոնստրուկցիաների և չէին ընդունվում։

Դրանից հետո առաջարկվեցին շատ ավելի հաջող խորհրդանիշներ, Չարլզ Փիրսի կողմից 1885 թ.առաջարկված \exists գոյության քվանտոր ընդհանուր առմամբ ընդունեցին (՝  գոյություն ունի բառի առաջին տառի շրջված տեսքը), և \forall ընդհանրության քվանտորի համար (– «բոլոր», «ցանկացած»), Գերհարդ Գենցենի կողմից 1935 թ.-ին՝ գոյության քվանտորի նմանությամբ։ «Քվանտոր» և «քվանտիֆիկացում» եզրույթները առաջարկել է նաև Փիրսը։

## Ծանոթագրություններ

## Գրականություն
* *Клини С. К.* Введение в метаматематику, пер. с англ., М., 1957, с. 72—80, 130—138
* *[[Колмогоров А. Н.]], Драгалин А. Г.* Математическая логика. Изд. 3-е, стереотипное. — М.: КомКнига, 2006. — 240 с.
* *[[Новиков, Пётр Сергеевич|Новиков П. С.]]* Элементы математической логики. — М.: Наука, 1973. — 400 с.
* *Чёрч А.* Введение в математическую логику, пер. с англ., т. 1, М., 1960, с. 42—48.

## Արտաքին հղումներ
* Քվանտոր

Կատեգորիա:Մաթեմատիկա
Կատեգորիա:Մաթեմատիկական անալիզ
Կատեգորիա:Մաթեմատիկական տրամաբանություն
Կատեգորիա:Տրամաբանական գործողություններ