waarheidswaarde oor Engels

waarheidswaarde

Vertalings in die woordeboek Nederlands - Engels

truth value

naamwoord

value indicating the relation of a proposition to truth

voorbeelde

In de wiskunde en de logica is de waarheidswaarde van een propositie de waarde die aangeeft in welke mate de propositie waar is.
In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.

Twee uitspraken zijn semantisch equivalent als zij dezelfde waarheidswaarde hebben voor alle modellen.
The statements are logically equivalent if, in every model, they have the same truth value.

Definieer de relaties en waarheidswaarden tussen bestaande en nieuwe informatie. 6.
Define the relationships and truth values between existing and new information.

Deze eigenschap van mentale toestanden houdt in dat ze een inhoud en semantische referenten hebben en dat er bijgevolg waarheidswaarde aan toegekend kan worden.
This property of mental states entails that they have contents and semantic referents and can therefore be assigned truth values.

De oorsprong van het Entscheidungsproblem ligt bij Gottfried Leibniz, die in de zeventiende eeuw, na een succesvolle mechanische rekenmachine, ervan droomde een machine te bouwen die symbolen zou kunnen manipuleren om de waarheidswaarde van wiskundige uitspraken te bepalen.
The origin of the Entscheidungsproblem goes back to Gottfried Leibniz, who in the seventeenth century, after having constructed a successful mechanical calculating machine, dreamt of building a machine that could manipulate symbols in order to determine the truth values of mathematical statements.

Op basis van de waarheidswaarden van de propositievariabelen die in een formule voorkomen, kunnen we dan de waarheidswaarde van de volledige formule bepalen.
If the values of all variables in a propositional formula are given, it determines a unique truth value.

In de informatica is boolean een datatype met slechts twee mogelijke waarden, true (waar, ja) en false (onwaar, nee), bedoeld om de waarheidswaarde van logische expressies in computerprogramma's en boolealgebra's te representeren.
In computer science, the Boolean data type is a data type that has one of two possible values (usually denoted true and false), intended to represent the two truth values of logic and Boolean algebra.

Dat betekent dat het een waarheidswaarde moet hebben: ofwel waar, ofwel niet waar.
So that means it must have a truth value: either true or false.

Een formele interpretatie van een formele taal houdt het toekennen van betekenissen aan de symbolen en waarheidswaarden aan de zinnen van het formele systeem in.
An interpretation of a formal system is the assignment of meanings to the symbols and truth-values to the sentences of the formal system.

In programmeertalen zonder een expliciet datatype boolean, zoals C90 en Lisp, kunnen de waarheidswaarden voorgesteld worden door een ander datatype.
Languages with no explicit Boolean data type, like C90 and Lisp, may still represent truth values by some other data type.

Op basis van de waarheidswaarden van de propositievariabelen die in een formule voorkomen, kunnen we dan de waarheidswaarde van de volledige formule bepalen.
The remaining columns show the truth of subformulas of the formula above, culminating in a column showing the truth value of the original formula under each valuation.

En, zoals ik al zei, de schema's zijn actief, zodat bijvoorbeeld "betrouwbaarheidsspinners" de actuele waarheidswaarde van alle entiteiten weergeven, uitgaande van de huidige lay-out en premissen.
And, as I’ve already mentioned, the diagrams are live, so that (for instance) “confidence spinners” show the actual truth value of all entities, given the current arrangement and initial assumptions.

Een formele interpretatie van een formele taal houdt het toekennen van betekenissen aan de symbolen en waarheidswaarden aan de zinnen van het formele systeem in.
For instance, in mathematical logic, the set of possible formulas of a particular logic is a formal language, and an interpretation assigns a meaning to each of the formulas—usually, a truth value.

In andere programmeertalen is het type boolean zo gedefinieerd dat het meer dan twee waarheidswaarden kan aannemen.
In some languages, the Boolean data type is defined to include more than two truth values.

Dus het is niet waar dat God goed is en ook niet dat God niet goed is: er is gewoon geen waarheidswaarde voor zulke proposities.
Thus, it is not true that God is good and it is not true that God is not good; there is just no truth value at all for such propositions.

Men stelt bijvoorbeeld de vraag of een betekenisloze zin een waarheidswaarde heeft of niet, of de vraag of uitspraken proposities kunnen uitdrukken over dingen die niet bestaan.
A truth-oriented philosopher of language might wonder whether or not a meaningless sentence can be true or false, or whether or not sentences can express propositions about things that do not exist, rather than the way sentences are used.

Een formele interpretatie van een formele taal houdt het toekennen van betekenissen aan de symbolen en waarheidswaarden aan de zinnen van het formele systeem in.
An interpretation of a formal system is the assignment of meanings to the symbols, and values to the sentences of a formal system.

Dit onderzoek focust daarom op de waarheidswaarde van de roman, vertrekkende vanuit de modernistische roman.
Therefore, this project aims to investigate the novel's truth-value starting from the modernist novel.

In andere logica's, zoals in fuzzy logic en andere meerwaardige logica's, zijn er meer waarheidswaarden.
Multi-valued logics (such as fuzzy logic and relevance logic) allow for more than two truth values, possibly containing some internal structure.

Als zo’n bewering waar is, dan is hij niet waar, omdat het zelf een propositie is die God beschrijft, en is er dus geen waarheidswaarde.
If such a claim is true, then it is not true, since it itself is a proposition describing God and so has no truth value.

Met behulp van logische interpretaties kan vaak maar niet altijd ook de waarheidswaarde van zowel taalkundige als wiskundige zinnen worden bepaald.
An interpretation often (but not always) provides a way to determine the truth values of sentences in a language.

Dit is te zien aan de zwarte en rode pijlen die uit de "Conflict" entiteit komen en tegengestelde waarheidswaarden vertegenwoordigen. Het maakt niet uit wat je doet, zowel "hek open" als "hek dicht" geeft de waarde "onwaar", en zo zal het gezamenlijk doel (helemaal links) ook onwaar zijn.
This is shown by the black and red arrows coming out of the Conflict entity, which transmit opposite truth values; no matter what you do, either “gate open” or “gate closed” will be false, and so the common objective (on the far left) will be false.

Zinnen van een formele taal worden in het algemeen verondersteld niet meer dan één waarheidswaarde te hebben, namelijk Waar of Niet-waar.
"...interpretations associate each sentence in a formal language with a single truth value, either True or False.

Je kunt nu zien dat er een oplossing voor het conflict in de buurt mogelijk is, en de waarheidswaarden van de entiteiten laten zien hoe: open het hek en maak Arundale een eenrichtingsweg.
Notice that now the resolution of division in the neighborhood becomes achievable, and the truth-values of the entities reveal how: open the gate and make Arundale one-way.

Een formele interpretatie van een formele taal houdt het toekennen van betekenissen aan de symbolen en waarheidswaarden aan de zinnen van het formele systeem in.
An interpretation of a formal system is the assignment of meanings to the symbols, and truth-values to the sentences of a formal system.