Приклади вживання Значення істинності Українська мовою та їх переклад на Англійською
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
Значення істинності(ТАК або НІ).
У класичній логіці ми часто обговорюємо значення істинності, які може взяти формула.
In classical logic, we often discuss the truth values that a formula can take.Значення істинності та тавтології.
Truth values and tautologies.Можна довести, що у них немає третього значення істинності, що було визначено Гливенком у 1928.
One can prove that such statements have no third truth value, a result dating back to Glivenko in 1928.Міркування щодо різних інтерпретацій одного и того ж вислову призводить до виникнення поняття значення істинності.
Considering different interpretations of the same statement leads to the notion of truth value.У той час як розширення речення є його значення істинності, це правда функціональної сполучності.
Since the extension of a sentence is its truth value, this is a Нечітка логіка відхиляє закон виключеного третього та дозволяє як значення істинності будь-яке число від 0 до 1;
WEB- rejects the law of the excluded middle and allows as a truth value any real number between 0 and 1.Найпростіший підхід до поняття значення істинності полягає у тому, що твердження може бути правильним в одному випадку, та помилковим[en] в іншому.
The simplest approach to truth values means that the statement may be"true" in one case, but"false" in another.Справді, можна довести, що у них немає третього значення істинності, що було визначено Гливенком у 1928.
Indeed, one can prove that they 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Жодна пропозиція не може бути і істинним і хибним тієї ж інтерпретації,але цілком можливо, що значення істинності тієї ж пропозиції може бути різним у різних інтерпретаціях.
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.Якщо значення істинності 0 та 1 інтерпретувати як цілі числа, ці операції можна було задати як звичайні операції арифметики(де x+ y використовує додавання а xy використовує множення), або як функції мінімуму/максимуму:.
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:.Брехнязбреження: Інтерпрітація в якій усі змінні значення прив'язані значення істинності"брехні" робить значення істинності"брехні", як результат неімплікаціі.
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.Таким чином, Девідсон замінює'означає, що' на сполучниковим чутливим тільки для пропозицій;у той час як розширення речення є його значення істинності, це правда функціональної сполучності.
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 У булево-значній семантиці(для класичної логіки висловлювань), значення істинності є елементами довільної булевої алгебри;«Правда» відповідає максимальному елементу алгебри,«брехня» відповідає мінімальному елементу.
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.Навпаки, пропозиціональні формули(предикати)в інтуїтивній логіці взагалі не привласнюють ніяке певне значення істинності та замість цього лише вважаються істиною, коли у нас є прямий доказ.
In contrast, propositionalformulae in intuitionistic logic are not assigned any definite truth value at all and instead only considered"true" when we have direct evidence, hence proof.Для того, щоб складні висловлювання були істинні, значення істинності їх складових частин мають задовольняти правиламістинності відповідних логічних операцій поєднання(операцій«або»,«і»,«ні»,«тільки якщо»,«якщо і тільки якщо»).
For a compound proposition to be true, the truth values of its constituent parts must satisfy the relevant logical connectives that occur in it(most commonly:<and>,<or>,<not>,<only if>,<if and only if>).Навпаки, пропозиціональним формулам(предикатам)в інтуїтивній логіці взагалі не надається ніякого певного значення істинності: натомість вони вважаються«істинними» лише тоді, коли у нас є прямий доказ.
In contrast, propositionalformulae in intuitionistic logic are not assigned any definite truth value at all and instead only considered"true" when we have direct evidence, hence proof.Таким чином,при даній інтерпретації все присуджують буквам Ф і Ψ(тобто після присвоєння значення істинності для кожної пропозиції літери), ми можемо визначити істинність значення всіх формул, які мають їх як складові частини, в залежності від логічного зв'язку.
So under a given interpretation of all the sentence letters Φ and Ψ(i.e., after assigning a truth-value to each sentence letter), we can determine the truth-values of all formulas that have them as constituents, as a function of the logical connectives.Для кращого розуміння розглянемо питання, чому таблиці істинності працюють для класичної логіки: по-перше, потрібно, щоб змінні частини судження були або істинними, або хибними: якщо вони можуть мати інші значення, або не мати значення істинності взагалі, то аналіз таблиці істинності не вичерпує можливі шляхи того, як можна застосувати логічні міркування.
To grasp why, consider why Пара властивостей системи називається комплементарною,якщо кожній з властивості може бути присвоєно значення істинності в деякій експериментальній установці, але немає установки, яка приписує значення істинності для обох властивостей.
A pair of properties of a system is said to becomplementary 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.Деякі з логічних символів мови(крім кванторів) істинні функціональні зв'язки, які представляють функції істинності, які приймають значення істинності як аргументи і значення істинності як виходи(іншими словами, ці операції над значеннями істинності пропозицій).
Some of the logical symbols of a language(other than quantifiers) are truth-functional connectives that represent Предикати(англ. Predicates), які описують умови, результатом яких є значення тризначної логіки SQL(true/false/unknown)або Булеві значення істинності і які використовуються для обмеження ефекту інструкцій та запитів, або для зміни потоку виконання програми.
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.Наприклад, крайнє правило програми з цієї точки зору є альтернативним записом предикату p ∧ ¬ q → s.{\displaystyle p\land \neg q\rightarrow s.}Якщо ми обчислимо значення істинності правил програми для наведених вище приписувань істинності, то ми побачимо, що кожне правило набуває значення T. Іншими словами, що приписування є моделлю програми.
For instance, the last rule of the given program is, from this point of view, alternative notation for the propositional formula p∧¬ q→ s.{\displaystyle p\land\neg q\rightarrow s.}If we calculate the truth values of the rules of the program for the Діапазон значень істинності(ТАК чи НІ).
A range of truth values(TRUE or FALSE).Замість цього вони залишаються з невідомим значенням істинності, доти, доки вони або не доведені, або не спростовані.
Instead they remain of unknown truth value, until they are either proved or disproved.Проміжні елементи алгебри відповідають іншим значенням істинності, ніж«правда» і«брехня».
Intermediate elements of the algebra correspond to truth values other than"true" and"false".
