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

В [[предикатная логика|предикатной логике]], '''квантор существования''' — это предикат свойства или отношения для по-крайней мере одного элемента области определения. Он обозначается как символ логического оператора ∃ (произносится как "существует" или "для некоторого"). Квантор существования отличается от [[квантор всеобщности|квантора всеобщности]], который утверждает, что свойство или отношение выполняется для всех элементов области.

 

* [[Логика первого порядка]]

 

 

[[cs:Existenční kvantifikátor]]