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

• значення істинності

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

A truth value(TRUE or FALSE).
Значення істинності(ТАК або НІ).

True” and“false” are called truth values.
Істина» і«брехня» називаються«істиннісними значеннями висловлювань».

Truth values and tautologies.
Значення істинності та тавтології.

In classical logic, we often discuss the truth values that a formula can take.
У класичній логіці ми часто обговорюємо значення істинності, які може взяти формула.

Considering different interpretations of the same statement leads to the notion of truth value.
Міркування щодо різних інтерпретацій одного и того ж вислову призводить до виникнення поняття значення істинності.

Intermediate elements of the algebra correspond to truth values other than"true" and"false".
Проміжні елементи алгебри відповідають іншим значенням істинності, ніж«правда» і«брехня».

In set theory, predicates are understood to be characteristic functions or set indicator functions, i.e. functions from a set element to a truth value.
В теорії множин предикати розуміються як характерні функції або задають функції індикатора, тобто функції від заданого елемента до значення істини.

One can prove that such statements have no third truth value, a result dating back to Glivenko in 1928.
Можна довести, що у них немає третього значення істинності, що було визначено Гливенком у 1928.

In this way, the truth value of the compound sentence is defined as a certain truth function of the truth values of the simpler sentences.
Таким чином, значення істинності складного речення визначається як деяка функція істинності значень істинності більш простих речень.

And that's like combining some propositions to compute the truth value of another proposition.
І це як комбінуваня деяких предикатів для того щоб обчислити правдиве значення іншого предикату.

So each neuron is combining the truth values it gets from other neurons to produce the truth value of its own.
Так, кожен нейрон комбінуючи правдиві значення які отримані від інших нейронів для того щоб продукувати власні правдиві значення.

Many-valued logic, including fuzzy logic, which rejects the law of the excluded middle and allows as a truth value any real number between 0 and 1.
Багатозначна логіка, у тому числі нечітка логіка, яка відкидає закон виключеного третього і дозволяє взяти як істинне значення будь-яке дійсне число між 0 і 1.

Instead they remain of unknown truth value, until they are either proved or disproved.
Замість цього вони залишаються з невідомим значенням істинності, доти, доки вони або не доведені, або не спростовані.

Therefore, the task of determining whether or not the formula is a tautology is a finite, mechanical one: one need only evaluate the truth value of the formula under each of its possible valuations.
Тому завдання визначення того, чи є формула тавтологією, є кінцевим: потрібно тільки оцінити справжнє значення формули в рамках кожного з його можливих оцінок.

If the truth values 0 and 1 are interpreted as integers, these operations may be expressed with the ordinary operations of arithmetic(where x+ y uses addition and xy uses multiplication), or by the minimum/maximum functions:.
Якщо значення істинності 0 та 1 інтерпретувати як цілі числа, ці операції можна було задати як звичайні операції арифметики(де x+ y використовує додавання а xy використовує множення), або як функції мінімуму/максимуму:.

Since the extension of a sentence is its truth value, this is a truth functional connective.
У той час як розширення речення є його значення істинності, це правда функціональної сполучності.

Hence, Davidson replaces'means that' with a connective sensitive only to the extensions of sentences; since the extension of a sentence is its truth value, this is a truth functional connective.
Таким чином, Девідсон замінює'означає, що' на сполучниковим чутливим тільки для пропозицій; у той час як розширення речення є його значення істинності, це правда функціональної сполучності.

As for quantum logic, it is not even a logic based on truth values, so the logical connectives lose the original meaning of classic logic.
Що стосується квантової логіки, то це навіть не логіка, заснована на значеннях істини, тому логічні зв'язки втрачають своє первісне значення класичної логіки.

WEB- rejects the law of the excluded middle and allows as a truth value any real number between 0 and 1.
Нечітка логіка відхиляє закон виключеного третього та дозволяє як значення істинності будь-яке число від 0 до 1;

In Boolean-valued semantics(for classical propositional logic), the truth values are the elements of an arbitrary Boolean algebra;"true" corresponds to the maximal element of the algebra, and"false" corresponds to the minimal element.
У булево-значній семантиці(для класичної логіки висловлювань), значення істинності є елементами довільної булевої алгебри;«Правда» відповідає максимальному елементу алгебри,«брехня» відповідає мінімальному елементу.

Another way to express this is that each variable always makes a difference in the truth value of the operation or it never makes a difference.
Інший спосіб виразити це, що кожна змінна завжди робить різницю в істинності вартості операції або вона ніколи не робить різницю.

Indeed, one can prove that they have no third truth value, a result dating back to Glivenko in 1928.
Справді, можна довести, що у них немає третього значення істинності, що було визначено Гливенком у 1928.

No sentence can be made both true and false by the same interpretation, but it is possible that the truth value of the same sentence can be different under different interpretations.
Жодна пропозиція не може бути і істинним і хибним тієї ж інтерпретації, але цілком можливо, що значення істинності тієї ж пропозиції може бути різним у різних інтерпретаціях.

Falsehood-preserving: The interpretation under which all variables are assigned a truth value of"false" produces a truth value of"false" as a result of material nonimplication.
Брехнязбреження: Інтерпрітація в якій усі змінні значення прив'язані значення істинності"брехні" робить значення істинності"брехні", як результат неімплікаціі.

In contrast, propositional formulae in intuitionistic logic are not assigned any definite truth value at all and instead only considered"true" when we have direct evidence, hence proof.
Навпаки, пропозиціональні формули(предикати) в інтуїтивній логіці взагалі не привласнюють ніяке певне значення істинності та замість цього лише вважаються істиною, коли у нас є прямий доказ.

In contrast, propositional formulae in intuitionistic logic are not assigned any definite truth value at all and instead only considered"true" when we have direct evidence, hence proof.
Навпаки, пропозиціональним формулам(предикатам) в інтуїтивній логіці взагалі не надається ніякого певного значення істинності: натомість вони вважаються«істинними» лише тоді, коли у нас є прямий доказ.

A pair of properties of a system is said to be complementary if each one of them can be assigned a truth value in some experimental setup, but there is no setup which assigns a truth value to both properties.
Пара властивостей системи називається комплементарною, якщо кожній з властивості може бути присвоєно значення істинності в деякій експериментальній установці, але немає установки, яка приписує значення істинності для обох властивостей.

Predicates, which specify conditions that can be evaluated to SQL three-valued logic(3VL)(true/false/unknown) or Boolean truth values and are used to limit the effects of statements and queries, or to change program flow.
Предикати(англ. Predicates), які описують умови, результатом яких є значення тризначної логіки SQL(true/false/unknown) або Булеві значення істинності і які використовуються для обмеження ефекту інструкцій та запитів, або для зміни потоку виконання програми.