Приклади вживання Значення істинності Українська мовою та їх переклад на Англійською
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
Інші колонки показують значень істинності формул, побудованих з цих членів речення за допомогою букв.
The other columns show the truth-values of formulas built from these sentence letters, with Семантика значень істинності(також відома як підстановлювальний квантифікація)
Truth-value semantics(also commonly referred to as substitutional quantification)які інтерпретуються як елементи множини функцій від об'єктів до значень істинності, тобто характеристичних функцій множин об'єктів.
which are interpreted as elements of the set of functions from entities to truth-values, i.e. indicator functions of sets of entities.в якому перераховані всі можливі поєднання значень істинності вхідних сигналів(операндів)
in which all possible combinations of values of the validity Перші дві колонки показують значення істинності букв, які визначено з чотирьох можливих інтерпретацій.
Недоведеним твердженням в інтуїтивній логіці не надаються проміжні значення істинності(як іноді помилково стверджується).
Unproved statements in Intuitionistic logic are not given an intermediate truth value(as is sometimes mistakenly asserted).Навпаки, пропозиціональним формулам(предикатам) в інтуїтивній логіці взагалі не надається ніякого певного значення істинності: натомість вони вважаються«істинними» лише тоді, коли у нас є прямий доказ.
In contrast, propositional formulae in intuitionistic logic are not assigned a definite truth value and are only considered"true" when we have direct evidence, hence proof.У логіці, екстенсіональність вимагає, щоб«дві формули, які мають одне і то саме значення істинності при будь-яких присвоєннях істинності були взаємозамінні у реченні, яке містить одну з цих формул», або простіше, об'єкти, які мають однакові зовнішні якості.
In logic, extensionality requires"two formulas which have the same truth-value under any truth-assignments to be mutually substitutable salva veritate in a sentence that contains one of these formulas.".дозволяє більше двох значень істинності, які, можливо, містять деякі внутрішні структури.
allow for more than two truth values, possibly containing some internal structure.дозволяє більше двох значень істинності, які, можливо, містять деякі внутрішні структури.
allow for more than two truth values, possibly containing some internal structure.Істинність і значення вчення про циклі рас гідно будуть оцінені лише нашими нащадками. Про це говорила Ванга:"Існує стародавнє індійське вчення.
The validity and importance of Значення істинності(ТАК або НІ).
A truth value(TRUE or FALSE).Значення істинності та тавтології.
Truth values and tautologies.У класичній логіці ми часто обговорюємо значення істинності, які може взяти формула.
In classical logic, we often discuss the truth values that a formula can take.Можна довести, що у них немає третього значення істинності, що було визначено Гливенком у 1928.
One can prove that such statements have no third truth value, a result dating back to Glivenko in 1928.Таким чином, значення істинності складного речення визначається як деяка функція істинності значень істинності більш простих речень.
In this way, the truth value of the compound sentence is defined as a certain Нечітка логіка відхиляє закон виключеного третього та дозволяє як значення істинності будь-яке число від 0 до 1;
Fuzzy logic rejects the law of the excluded middle and allows as a truth value any real number between 0 and 1.Нечітка логіка відхиляє закон виключеного третього та дозволяє як значення істинності будь-яке число від 0 до 1;
WEB- rejects the law of the excluded middle and allows as a truth value any real number between 0 and 1.Справді, можна довести, що у них немає третього значення істинності, що було визначено Гливенком у 1928.
Indeed, one can prove that they have no third truth value, a result dating back to Glivenko in 1928.У той час як розширення речення є його значення істинності, це правда функціональної сполучності.
Since the extension of a sentence is its truth value, this is a 
