From professional translators, enterprises, web pages and freely available translation repositories.
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.
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.
in mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for sentences in propositional logic and first-order logic.
in de wiskundige logica en bij automatisch stellingbewijzen is resolutie een afleidingsregel die gebruikt wordt voor bewijzen uit het ongerijmde van zinnen in de propositie- en predicatenlogica.
"for suppose a correlation of all objects and some propositional functions to have been affected, and let phi-"x" be the correlate of "x".
"laten wij aannemen dat een correlatie van alle objecten en enige propositionele functies geraakt is en laat phi-"x" de correlator van "x" zijn.
