propositielogica oor Engels

propositielogica

Vertalings in die woordeboek Nederlands - Engels

propositional calculus

naamwoord

The formal logic system used to define the true or false values of objects.

propositional logic

naamwoord

branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components

voorbeelde

Hun werk over modale logica, logische implicatie en propositielogica waren belangrijk voor de ontwikkeling van de logica in de oudheid.
Their work on modal logic, logical conditionals, and propositional logic played an important role in the development of logic in antiquity.

De propositielogica, sterkere vormen van klassieke logica zoals de tweede orde logica of de niet-klassieke logica zoals het intuïtionisme worden eveneens onderzocht.
Stronger classical logics such as second-order logic or infinitary logic are also studied, along with nonclassical logics such as intuitionistic logic.

De propositielogica en de predicatenlogica zijn voorbeelden van formele systemen.
Propositional and predicate calculi are examples of formal systems.

De Bayesiaanse interpretatie van kans kan gezien worden als een uitbreiding van de propositielogica die redeneringen met hypothesen mogelijk maakt met uitspraken waarvan de waarheid onzeker is.
The Bayesian interpretation of probability can be seen as an extension of propositional logic that enables reasoning with hypotheses, i.e., the propositions whose truth or falsity is uncertain.

Dan volgen de begrippen gelijkheid, vergelijking, variabelen en constanten, die aan de hand van voorbeelden verduidelijkt worden, waarna tot slot de propositielogica, de verzamelingenleer en de eerste-orde logica volgen.
He goes on to multiplication, division, variables and constants, then propositional logic, set theory and first-order logic.

De propositielogica is een tak van logica die zich bezighoudt met het redeneren met proposities.
Doxastic logic is a type of logic concerned with reasoning about beliefs.

Symbolische logica wordt meestal onderverdeeld in twee deelgebieden, propositielogica en predicatenlogica.
Symbolic logic is usually divided into two subfields, propositional logic and predicate logic.

Deze systemen zijn een uitbreiding van propositielogica.
At the propositional level, such systems are extensions of propositional logic.

Propositielogica is een filosofisch redeneringssysteem met als-dan-uitdrukkingen als predicaten.
First-order logic is a philosophical system of reasoning... using " if-then " statements as quantifiers and predicates.

Dat is propositielogica.
First-order logic?

Het schriftelijk examen is een gesloten boek examen en omvat per onderdeel (propositielogica, predicaatlogica en lambda calculus) ten minste een theorievraag en een oefening.
The written exam is a closed book exam and includes for each part (propositional logic, predicate logic and lambda calculus) at least a theoretical question and an exercise.

Wanneer de student 14 of meer haalt op de tussentijdse evaluatie kan de student een vrijstelling opnemen bij dit examen voor het gedeelte propositielogica (opnemen van de vrijstelling is niet verplicht).
When the student obtained 14 or more (on 20) on the mid-term evaluation, the student can take up an exemption for the part on propositional logic (inclusion of the exemption is not required).

In week 6 of 7 wordt een tussentijdse evaluatie georganiseerd die over het gedeelte propositielogica handelt.
In week 6 or 7, a mid-term evaluation will be organized on propositional logic.

Twee basissystemen worden behandeld, te weten propositielogica en predikatenlogica (van de eerste orde).
Two basic systems are dealt with, namely propositional and predicate logic (of first order.

De twee basissystemen worden in extenso behandeld, te weten propositielogica en predikatenlogica (van de eerste orde).
The two basic systems are dealt with in extenso, namely propositional and predicate logic (of first order.

Het systeem van natuurlijke deductie kennen en verstaan, voor zowel de propositielogica als de predicaatlogica.
Knowing and understanding the system of natural deduction for proposition logic as well as for predicate logic.

De tabel wordt in de logica, en dan met name in de propositielogica, gebruikt om te beslissen of een logische uitdrukking al dan niet waar is en of een argument al dan niet valide is.
In particular, truth tables can be used to tell whether a propositional expression is true for all legitimate input values, that is, logically valid.

De propositielogica gaat over het redeneren met proposities.
The logic was focused on propositions.

Hoewel stellingen in een compleet symbolische vorm kunnen worden geschreven, door bijvoorbeeld gebruik te maken van de propositielogica, worden stellingen ook vaak uitgedrukt in een natuurlijke taal zoals Nederlands of Engels.
Although they can be written in a completely symbolic form using, for example, propositional calculus, theorems are often expressed in a natural language such as English.