PROPOSITIONAL in Ukrainian translation

• пропозиційна
• висловлювань
• пропозиціональних
• висловлень
• пропозіціональная
• пропозициональной
• пропозиції
• пропозиційних
• пропозиційної
• пропозиційну
• пропозиціональні
• пропозиціональній
• пропозіціональному

Examples of using Propositional in English and their translations into Ukrainian

The notion of top is also found in propositional calculus, corresponding to a formula which is true in every possible interpretation.
Поняття вершини також зустрічається в численні висловлювань, що відповідає формулі, яка вірна в будь-якому можливому тлумаченні.

The Bayesian interpretation of probability can be seen as an extension of propositional logic that enables reasoning with hypotheses,
Баєсову інтерпретацію ймовірності можна розглядати як розширення логіки висловлень, що уможливлює міркування із гіпотезами,

Universal generalization concludes the propositional function must be universally true if it is true for any arbitrary element of the universe of discourse.
Універсальне узагальнення заключає, що пропозиційна функція повинна бути універсально істинною, якщо вона істинна для будь-якого довільного елементу універсуму дискурсу.

rather than a higher level‘propositional truths'.
не з більш високого рівня«пропозиціональних істин».

You mean simply that the propositional function“x is a color between blue
Ви просто розумієте, що пропозіціональная функція 'х- колір між синім

The only non-logical symbols in a formal language for propositional logic are the propositional symbols,
Тільки нелогічні символи на формальній мові для логіки висловлювань є пропозиційними символами,

It expresses that a propositional function can be satisfied by every member of a domain of discourse.
Він виражає, що пропозиційна функція може бути задоволена кожним членом області дискурсу.

The formal language for classical propositional logic can be expressed using just negation(¬), implication(→) and propositional symbols.
Формальну мову класичної логіки висловлень може бути виражено з використанням лише заперечення(¬), імплікації(→) та символів висловлень.

Tautologies are a key concept in propositional logic, where a tautology is defined as a propositional formula that is true under any possible Boolean valuation of its propositional variables.
Тавтологія є ключовим поняттям в логіці висловлювань, де тавтологія визначається як пропозиціональна формула, що вірна при будь-якій можливій булевій оцінки його пропозиціональних змінних.

Some of the things that you can say about a propositional function will not necessarily remain true if you substitute another formally equivalent propositional function in its place.
Дещо з того, що ви можете сказати про пропозициональной функції, не буде необхідно залишатися істинним, якщо ви на її місце підставите іншу формально еквівалентну пропозіціональному функцію.

Note that a quantified propositional function is a statement;
Слід зазначити, що квантифікована пропозиційна функція є судженням;

For instance, the propositional function“x is a man” is one which has to do with the concept of humanity.
Наприклад, пропозіціональная функція 'х- людина' одна з тих, що повинні мати справу з поняттям людство.

With the advent of algebraic logic it became apparent however that classical propositional calculus admits other semantics.
З появою алгебраїчної логіки стало очевидно що класичне числення висловлень визнає іншу семантику.

We say of a propositional function that it is possible,
Ми говоримо про пропозициональной функції, що вона є можливою,

In propositional logic, there is no distinction between a tautology
В логіці висловлювань, немає жодної різниці між тавтологією

Non-classical logics are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic.
Некласичною логікою називається формальна система, що істотно відрізняється від стандартних логічних систем, таких як пропозиційна та предикативна логіка.

Non-classical logic is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic.
Некласична логіка(альтернативна логіка)- це назва формальних систем, що суттєво відрізняються від класичної логіки, такої, як логіка числення висловлень та предикатна логіка.

a specific set of propositional symbols must be fixed.
конкретний набір пропозиційних символів повинен бути закріплений.

There are a certain number of things which you can say about a propositional function which would not be true if you substitute another formally equivalent propositional function for it.
Є багато такого, що ви можете сказати про пропозициональной функції, яка не була б дійсною, якщо б ви підставили іншу формально еквівалентну пропозіціональному функцію.

Unlike propositional logic, where every language is the same apart from a choice of a different set of propositional variables,
На відміну від логіки висловлювань, де кожна мова є тим самим, крім вибору іншого набору пропозиційних змінних,