Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
existential quantification
Translation of "existential quantification" in Russian
Hence, just as in standard first-order logic, the existential quantification is true.
Следовательно, как и в стандартной логике первого порядка, эта экзистенциальная квантификация истинна.
Other results
The theory is a second-order typed lambda calculus similar to System F, but with existential instead of universal quantification.
Теория представляет собой типизированное лямбда-исчисление второго порядка, аналогичное Системе F, но с экзистенциальной квантификацией вместо универсальной.
Synonyms and analogies of "existential quantification" in English
Word & Expression of the day
Image of the day
Results: 2. Exact: 1. Elapsed time: 14 ms.
