truth value oor Nederlands

truth value

naamwoord

(logic) A value indicating to what extent a statement is true; in classical logic, these are the values "true" and "false".

Vertalings in die woordeboek Engels - Nederlands

waarheidswaarde

value indicating the relation of a proposition to truth

voorbeelde

A range of truth values (TRUE or FALSE
Booleaanse waarden (Waar of Onwaar

A truth value (TRUE or FALSE
Een Booleaanse waarde (Waar of Onwaar

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

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

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

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

By contrast, in “You are my enemy” the truth value of the statement depends on your reaction.
Daarentegen is in ‘Jij bent de vijand’ het waarheidsgehalte van de uitspraak afhankelijk van jouw reactie.

If you do, you'll get into a quagmire about truth value.
Dan beland je in een oneindige discussie over de waarheid.

From a pragmatic, operational point of view, one could argue that information is the truth value of a proposition.
Pragmatisch gezien zou je kunnen zeggen dat informatie het waarheidsgehalte van een bewering is.

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

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

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

An interpretation of a formal system is the assignment of meanings to the symbols and truth-values to the sentences of the formal system.
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.

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.
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.

“All the more reason to look for truth and value it when you find it.
‘Des te meer reden om te zoeken naar de waarheid en om die te waarderen als u haar vindt.

Faithful, obedient members are the most persuasive witnesses of the truth and value of the restored gospel.
Getrouwe, gehoorzame leden zijn de overtuigendste getuigen van de waarheid en de waarde van het herstelde evangelie.

It is the truth: My value has decreased.
Het is de harde waarheid: mijn waarde is gedaald.

"""I don't even know if my distinction between Edge nations and Center nations has any truth or value."
'Ik weet zelfs niet of mijn onderscheid tussen Randnaties en Centrumnaties ook maar enige waarde heeft.

If, instead, you tell the truth, your values transform as you progress.
Als je daarentegen de waarheid wél vertelt, transformeren je waarden zich al doende.

In fact, people have been questioning the truth-seeking value of the trial system for a very long time.
Lange tijd zijn er dan ook vraagtekens gezet bij de waarheidsvinding van het rechtssysteem.

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.
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.

It is an offspring of a faithless world, sustained on the corrosive diet of scientific idolatry, self-praise, distortion of truths and values.
Het is een voortbrengsel van een ongelovige wereld, welke wordt onderhouden door het bijtende dieet van wetenschappelijke afgoderij, zelfverheerlijking en verdraaiing van waarheden en waarden.

Progressive Catholics are afraid that the cardinal had in mind “truths and values” that characterized the Roman Catholic Church in pre- Vatican- II days.
Progressieve katholieken zijn bang dat de kardinaal daarbij dacht aan „waarheden en waarden” die typerend waren voor de Rooms-Katholieke Kerk in de tijd vóór het Vaticanum II.

My first fundamental premise of our faith is that God is real and so are eternal truths and values not provable by current scientific methods.
Mijn eerste fundamentele premise van ons geloof is dat God bestaat, evenals eeuwige waarheden en normen die door de huidige wetenschappelijke methoden niet te bewijzen zijn.