Квантор

Ква́нтор — пĕр-пĕр предикатăн чăнлăхлăхĕн талккăшне ансăрлатса каланăлăх калăплакан  логикăлла операцисен пĕтĕмĕшле ячĕ. Час-часах çаксене асăнаççĕ:
 Пĕтĕмĕшлĕх кванторĕ (паллă тăвасси: , вуланать: «хуть те мĕнле…», «каашнине…», «пурне те…» е «кашни…», «кирек хăш…», «пурте…»).
 Пуррилĕх кванторĕ (паллă тăвасси: , вуланать: «пур…» е «тупăнать…»).
 Пĕртенпĕрлĕх кванторĕ (паллă тăвасси: !, вуланать: «…пĕртен-пĕрре пулса тăрать»).

Математикăлла логикăра  формулăсенче кванторсемпе усă курнине  çыхăнтару теççĕ.

Квантор тени логикăлла операцисене хăйсене çеç мар, вĕсене тĕл килекен символсене те пырса тивет.

 Литература 
 Клини С. К. Введение в метаматематику, пер. с англ., М., 1957, с. 72—80, 130—138
 Колмогоров А. Н., Драгалин А. Г. Математическая логика. Изд. 3-е, стереотипное. — М.: КомКнига, 2006. — 240 с.
 Новиков П. С. Элементы математической логики. — М.: Наука, 1973. — 400 с.
 Чёрч А. Введение в математическую логику, пер. с англ., т. 1, М., 1960, с. 42—48.

 Каçăсем 
 Кванторы

Категори:Математикăлла логика
Категори:Логикăлла операцисем
Категори:Математика паллисем
Категори:Математикăри паллăсем