Квантор всеобщности: различия между версиями

[непроверенная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
м →‎См. также: ненужный раздел, ВП:Интервики перенесены на Викиданные
Строка 11:
* всякий (любой, каждый) элемент x множества X (где X — множество значений переменной x) обладает свойством P(x);
* каково бы ни было x, P(x) истинно.
 
== См. также ==
 
* [[Квантор]]
* [[Квантор существования]]
* [[Квантификация]]
* [[Логика первого порядка]]
 
{{rq|sources|img|topic=math}}
[[Категория:Математическая логика]]
 
[[ca:Quantificador universal]]
[[cs:Univerzální kvantifikátor]]
[[da:Alkvantor]]
[[de:Allaussage]]
[[en:Universal quantification]]
[[es:Cuantificador universal]]
[[et:Üldisuskvantor]]
[[fa:سور عمومی]]
[[fi:Universaalikvanttori]]
[[hu:Univerzális kvantifikáció]]
[[it:Quantificatore universale (simbolo)]]
[[ja:全称記号]]
[[ky:Квантор жалпылыгы]]
[[nl:Universaliteit]]
[[pl:Kwantyfikator ogólny]]
[[pt:Quantificação universal]]
[[sk:Všeobecný kvantifikátor]]
[[sv:Allkvantifikator]]
[[zh:全称量化]]