predicatenlogica oor Engels

predicatenlogica

naamwoord vroulike

Vertalings in die woordeboek Nederlands - Engels

predicate logic

naamwoord

generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic

voorbeelde

Deze niet-dualistische, concrete logica, bedoeld om de ontoereikendheid van het onderscheid object-subject te overwinnen die zo essentieel is in de subjectlogica van Aristoteles en in de predicatenlogica van Kant, door de bevestiging van wat hij noemt "een absoluut contradictorische zelf-identiteit", een dynamische spanning van tegengestelden die, anders dan bij Hegels dialectische logica, niet oplost in een synthese maar eerder zijn eigen subject definieert door de spanning tussen bevestiging en ontkenning als tegengestelde polen of perspectieven vast te houden.
The logic of basho is a non-dualistic 'concrete' logic, meant to overcome the inadequacy of the subject-object distinction essential to the subject logic of Aristotle and the predicate logic of Kant, through the affirmation of what he calls the 'absolutely contradictory self-identity' — a dynamic tension of opposites that, unlike the dialectical logic of Hegel, does not resolve in a synthesis.

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

In het geval van propositie- en predicatenlogica worden de alfabetten van formele talen in twee reeksen verdeeld, de logische en niet-logische symbolen.
In the specific cases of propositional logic and predicate logic, the formal languages considered have alphabets that are divided into two sets: the logical symbols (logical constants) and the non-logical symbols.

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

Logische talen zijn meestal op de predicatenlogica gebaseerd, maar er kunnen ook andere vormen van logica aan ten grondslag liggen.
They are typically based on predicate logic but can also be based on any system of formal logic.

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

De volgende vier axioma's zijn uitspraken binnen de predicatenlogica, zij gaan over de natuurlijke getallen, die de fundamentele eigenschappen van de opvolgeroperatie uitdrukken.
The next three axioms are first-order statements about natural numbers expressing the fundamental properties of the successor operation.

Dus, waarom ondersteunt predicatenlogica (algebra) niet het redeneren in de verleden tijd op een natuurlijke manier, noch het bezittelijk redeneren?
So, why doesn't predicate logic (algebra) support past tense reasoning – nor possessive reasoning – in a natural way?

Waarom ondersteunt predicatenlogica (algebra) het bezittelijk redeneren niet op een natuurlijke manier?
Why doesn't predicate logic (algebra) support possessive reasoning in a natural way?

Dus, waarom ondersteunt predicatenlogica (algebra) niet het redeneren in de verleden tijd op een natuurlijke manier, noch het bezittelijk redeneren?
So, why doesn't algebra support past tense reasoning – nor possessive reasoning – in a natural way?

Dit laatste model, dat is gebaseerd op predicatenlogica en verzamelingeleer, bestaat in feite uit een verzameling aan elkaar gerelateerde platte databases (Codd, 1970).
The last model, which is based on predicate logic and set theory (Codd 1970), contains multiple tables, each consisting of a ‘flat’ database of rows and columns.

Echter, dezelfde redeneerconstructie - maar dan in de verleden tijd - is in geen enkel wetenschappelijk artikel beschreven, omdat wetenschappers "vergeten" zijn om predicatenlogica (algebra) voor de verleden tijd te definiëren:
However, the same conclusion – but in the past tense form – is not described in any scientific paper, because scientists "forgot" to define predicate logic (algebra) for past tense:

Ook bezittelijk redeneren – redeneren met bezittelijk werkwoord “heeft/hebben” – wordt niet ondersteund door de predicatenlogica (algebra):
Also possessive reasoning – reasoning using possessive verb “has/have” – is not supported by predicate logic (algebra):

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