afleidingsregel oor Engels

afleidingsregel

Vertalings in die woordeboek Nederlands - Engels

rule of inference

systematic logical process capable of deriving a conclusion from hypotheses

voorbeelde

Er moet voorzien zijn in een verzameling van deductieregels, ook wel transformatieregels of afleidingsregels genoemd.
A set of deduction rules, also called transformation rules or rules of inference, must be provided.

Sommige afleidingsregels en formele talen zijn bedoeld om wiskundige redeneringen vast te leggen; de meest voorkomende voorbeelden maken gebruik van eerste-orde logica.
Some derivation rules and formal languages are intended to capture mathematical reasoning; the most common examples use first-order logic.

Verschillende verzamelingen van afleidingsregels geven aanleiding tot verschillende interpretaties van wat het voor een uitdrukking betekent om een stelling te zijn.
Different sets of derivation rules give rise to different interpretations of what it means for an expression to be a theorem.

De Euclidische meetkunde kan bijvoorbeeld worden gezien als een "spel", waarbij het spel eruit bestaat om bepaalde reeksen symbolen genaamd axioma's volgens een verzameling van regels genaamd "afleidingsregels" voor het genereren van nieuwe reeksen symbolen.
For example, Euclidean geometry can be considered a game whose play consists in moving around certain strings of symbols called axioms according to a set of rules called "rules of inference" to generate new strings.

Er werd voor de rekenkunde een 'taal' geformuleerd, enkele formules van die taal werden als axioma's (beginstellingen) aangemerkt, en alle andere waarheden van de rekenkunde zouden dan met een vast stel afleidingsregels als stellingen uit de axioma's worden afgeleid.
Mathematicians formulated a 'language' for this arithmetical theory, and they called some of its formulas 'axioms' (first propositions); all other truths of arithmetic were to be deduced as propositions from the axioms.

Er moet voorzien zijn in een verzameling van deductieregels, ook wel transformatieregels of afleidingsregels genoemd).
A set of deduction rules, also called transformation rules or rules of inference, must be provided.

Het deductieve systeem kan bestaan uit een reeks afleidingsregels, een reeks axioma's of een combinatie hiervan (in het laatste geval is sprake van de axiomatische methode).
The deductive apparatus may consist of a set of transformation rules (also called inference rules) or a set of axioms, or have both.

↑ Het woord wet kan ook verwijzen naar een axioma, een afleidingsregel, of in de kansrekening, een kansverdeling .
^ The word law can also refer to an axiom, a rule of inference, or, in probability theory, a probability distribution.

Afleidingsregel - Wikipedia
Universal generalization - Wikipedia

De afleiding van een stelling wordt vaak geïnterpreteerd als een bewijs van de waarheid van de resulterende uitdrukking, maar, afhankelijk van de betekenis van de afleidingsregels kunnen verschillende deductieve systemen verschillende interpretaties opleveren.
The derivation of a theorem is often interpreted as a proof of the truth of the resulting expression, but different deductive systems can yield other interpretations, depending on the meanings of the derivation rules.

De Euclidische meetkunde kan bijvoorbeeld worden gezien als een "spel", waarbij het spel eruit bestaat om bepaalde reeksen symbolen genaamd axioma's volgens een verzameling van regels genaamd "afleidingsregels" voor het genereren van nieuwe reeksen symbolen.
For example, Euclidean geometry can be seen as a game whose play consists in moving around certain strings of symbols called axioms according to a set of rules called "rules of inference" to generate new strings.

Het deductieve systeem kan bestaan uit een reeks afleidingsregels, een reeks axioma's of een combinatie hiervan (in het laatste geval is sprake van de axiomatische methode).
The deductive apparatus may consist of a set of transformation rules, which may be interpreted as valid rules of inference, or a set of axioms, or have both.

Onder formeel bewijs wordt in de formele wetenschap een eindige reeks proposities (in het geval van formele taal spreekt men van goedgevormde formules) binnen het kader van de beschrijving van formele systemen verstaan, waarbij elke propositie door middel van afleidingsregels uit voorafgaande proposities of axiomas kan worden afgeleid. De uiteindelijke propositie heet een stelling. Het afleiden van een stelling wordt beschouwd als een logisch gevolg van de voorafgaande formules.
A formal proof or derivation is a finite sequence of sentences (called well-formed formulas in the case of a formal language), each of which is an axiom, an assumption, or follows from the preceding sentences in the sequence by a rule of inference. If the set of assumptions is empty, then the last sentence in a formal proof is called a theorem of the formal system.