ÂÑÅÎÁÙÍÎÑÒÈ ÊÂÀÍÒÎÐ

ÂÑÅÎÁÙÍÎÑÒÈ ÊÂÀÍÒÎÐ - ëîãè÷åñêàÿ îïåðàöèÿ, ñëóæàùàÿ äëÿ îáðàçîâàíèÿ âûñêàçûâàíèé ñ ïîìîùüþ îáîðîòà «äëÿ âñåõ õ».  ôîðìàëèçîâàííûõ ÿçûêàõ Â. ê. ÷àùå âñåãî îáîçíà÷àåòñÿ ∀õ, (∀õ), (õ). Ïðèìåíÿþòñÿ òàêæå îáîçíà÷åíèÿ (Àõ), ∧_x, ∩_x, Ï_x.

Â. Å. Ïëèñêî.

Èñòî÷íèêè:

1. Ìàòåìàòè÷åñêàÿ Ýíöèêëîïåäèÿ. Ò. 1 (À - Ã). Ðåä. êîëëåãèÿ: È. Ì. Âèíîãðàäîâ (ãëàâ ðåä) [è äð.] - Ì., «Ñîâåòñêàÿ Ýíöèêëîïåäèÿ», 1977, 1152 ñòá. ñ èëë.