Що таке PROPOSITIONAL Українською - Українська переклад

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

Приклади вживання Propositional Англійська мовою та їх переклад на Українською

Any propositional variable is a formula;
Будь-яка пропозиційна змінна є формулою.

Where the symbols p, q and r are propositional variables.
Де символи p, q та r є пропозиціональні змінні.

Every propositional variable is a formula.
Будь-яка пропозиційна змінна є формулою.

Example: Hilbert systems for two propositional logics.
Приклад: Гільбертові системи для двох логік висловлень.

A quantified propositional function is a statement;
Квантифікована пропозиційна функція є судженням;

The truth that is absolute, objective, propositional and eternal.
Це категорія загальна, об'єктивна, історична і вічна.

In classical propositional logic, they indeed coincide;
У класичній логіці висловлень вони дійсно збігаються;

Example: Hilbert systems for two propositional logics.
Приклад: Гільбертові системи для двох логік висловленьРедагувати.

In the context of propositional logic, these two terms coincide.
В контексті логіки висловлювань, ці два терміни збігаються.

Thus, China could be considered the first“propositional nation.”.
Так що стародавній Китай можна назвати першою«миролюбною країною».

Assigning values for propositional variables is referred to as valuation.
Присвоєння значень для пропозиціональних змінних називається оцінкою.

The meaning of this rule can be represented by the propositional formula.
Сенс цього правила може бути представлений у вигляді пропозиційної формули.

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

In propositional logic, distribution refers to two valid rules of replacement.
У логіці висловлювань розподіл відноситься до двох дійсних правил заміни.

Liberalism is often understood as propositional, as a series of abstract principles.
Лібералізм часто розуміється, як пропозиція ряду абстрактних принципів.

These three kinds of Horn clauses are illustrated in the following propositional example:.
Ці три типи диз'юнктів Горна проілюстровано в наступному предикатному прикладі:.

You want to say of a propositional function that it is sometimes true.
Ви хочете сказати про пропозициональной функції, що вона іноді є істинною.

The meaning of this rule under the stable model semantics is represented by the propositional formula.
Сенс цього правила в рамках стійкої моделі семантики є пропозиційною формулою.

Rules of replacement are used in propositional logic to manipulate propositions.
Правила підстановки використовуються в логіці висловлень для маніпулювання висловленнями.

The problem of determining whether a formula is a tautology is fundamental in propositional logic.
Проблема визначення, чи є формула тавтологією є основоположним в логіці висловлювань.

A number of axiomatizations of classical propositional logic are due to Łukasiewicz.
Ряд Аксіоматизації класичної логіки висловлювань пов'язаний з Лукашевичем.

Distributivity is a property of some logical connectives of truth-functional propositional logic.
Дистрибутивність є властивість деяких логічних зв'язок істини-функціональної логіки висловлювань.

The propositional theory claims that mental representations are stored as propositions rather than as images.
Пропозиційна теорія стверджує, що ментальні репрезентації зберігаються у вигляді пропозиції, а не як образи.

The substructure also maintains a superstructure that is constructed through context related propositional theory.
Підструктура також підтримує надбудову, яка формується по пропозиціональній теорії контексту.

Propositional logic begins with propositional variables, atomic units that represent concrete propositions.
Логіка висловлювань починається з пропозиціональних змінних, атомних одиниць, які представляють конкретні пропозиції.

In his best known work, he showed that the classical propositional calculus could be derived from one axiom and one rule, both expressed using the Sheffer stroke.
У його найвідомішій роботі, він показав, що класичного числення висловлювань можуть бути отримані з одна аксіома і одне правило, як виражається за допомогою штриха Шефера.

A quantified propositional function is a statement; thus, like statements, quantified functions can be negated.
Квантифікована пропозиційна функція є судженням; тому, як і судження, квантифіковані функції можуть бути заперечені.

Tableaux'method for intuitionistic logic through S4-translation tests the intuitionistic validity of propositional formulae; provided by the Laboratoire d'Informatique de Grenoble.
Tableaux'method for intuitionistic logic through S4-translation перевіка інтуїціоністської обґрунтованості пропозиціональних формул; забезпечена комп'ютерною лабораторією Гренобля.

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