Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
universal quantification
Vertaling van "universal quantification" in Oekraïens
квантор загальності
This is a single statement using universal quantification.
Це одиночне судження, що використовує квантор загальності.
The parentheses indicate universal quantification by default.
Дужки позначають квантор загальності за замовчуванням.
In predicate logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any" or "for all".
У логіці предикатів, квантор загальності - тип квантора, логічної константи, яка інтерпретується як «для будь-якого» чи «для всіх».
Universal quantification is distinct from existential quantification ("there exists"), which only asserts that the property or relation holds for at least one member of the domain.
Квантор загальності відрізняється від квантора існування («існує»), який лише припускає, що властивість або відношення виконується для принаймні одного члена області.
There is a special notation used only for universal quantification, which is given
Ця особлива нотація використовується лише для кванторів загальності, як дано
In particular, note that if the domain of discourse is restricted to consist only of those objects that satisfy a certain predicate, then for universal quantification this requires a logical conditional.
Зокрема, варто зазначити, що якщо область дискурсу обмежено для вмісту лише тих об'єктів, які задовольняють певному предикатові, то для квантора загальності це вимагає логічної умови.
Generally, then, the negation of a propositional function's existential quantification is a universal quantification of that propositional function's negation; symbolically,
Загалом, тоді заперечення квантора існування пропозиційної функції є квантором загальності заперечення тієї ж пропозиційної функції; символічно
To prove that something is impossible is usually much harder than the opposite task; it is necessary to develop a theory. Impossibility theorems are usually expressible as universal propositions in logic (see universal quantification).
Щоб довести щось неможливе, необхідно розвинути теорію, як правило, це набагато складніше, ніж вирішити протилежне завдання. Теореми неможливості зазвичай виражені як універсальні судження в логіці (див. універсальна квантифікація).
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor universal quantification in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 9 ms.
