classical logic oor Nederlands

classical logic

naamwoord

A kind of logic based on the principle that each assertion has a truth value of either "true" or "false", but not both.

Vertalings in die woordeboek Engels - Nederlands

klassieke logica

class of formal logics

voorbeelde

- NON CLASSICAL LOGICS SUCH AS TEMPORAL AND FUZZY LOGIC
- niet-conventionele logica zoals temporele en fuzzy-logica

Every formula in classical logic is equivalent to a formula in prenex normal form.
Elke formule in de klassieke logica komt overeen met een formule in prenex-normaalvorm.

"""It is the voice of classical logic, as we are taught at wormingers' school."
'De stem der klassieke logica, Madame, zoals ons die op de opleiding tot wormeling wordt onderwezen.

If viewed in Eldridge’s classic logic, Muir would have to be considered as more than one man.
Bekeken vanuit Eldridges klassieke logica, zou Muir als meer dan één mens beschouwd moeten worden.

Just a classic logic error.
Klassieke fout.

Paraconsistent logics are propositionally weaker than classical logic; that is, they deem fewer propositional inferences valid.
In die zin is een paraconsistente logica dus zwakker dan de klassieke logica; je hebt immers minder redeneerregels tot je beschikking.

He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic.
Kurt Gödel leverde verder belangrijke bijdragen aan de bewijstheorie door de verbanden te verduidelijken tussen de klassieke logica, de intuïtionistische logica, en de modale logica.

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

- NON-CLASSICAL LOGIC SUCH AS TEMPORAL AND FUZZY LOGIC , WHICH ARE CLOSER TO REAL-WORLD TIME RELATED AND QUALITATIVE BEHAVIOUR , BUT WHICH LACK PRACTICAL PROOF ALGORITHMS ;
- niet conventionele logica zoals temporele logica en " fuzzy logic " , die dichter staan bij het aan de werkelijkheidstijd gerelateerde en kwalitatieve gedrag , maar waarvoor praktische bewijsalgoritmen ontbreken ;

Classic video game logic.
Klassieke videogame logica.

While these ideas work in both classical and intuitionistic logic, they do not work in paraconsistent logic, where contradictions are not necessarily false.
Deze ideeën werken in de klassieke en intuïtionistische logica, maar niet in Braziliaanse logica, waarin tegenstellingen niet per definitie onwaar zijn.

Besides my classical studies, I applied to logic, which enabled me to become an expert arguer.
Ook legde ik mij toe op de logica, die mij leerde veel te argumenteeren.

The whole system of descriptor logic is surprisingly classical.
Het hele systeem van descriptorlogica is verbazend klassiek.

There he discovered God, pantheism, Latin, theology, logic and the pagan classics.
Daar leerde hij God, het pantheïsme, Latijn, theologie, logica en de heidense klassieken kennen.

After all, that is merely a logical consequence of the classical distinction between the legal rule and the operative event .
Welbeschouwd is dit niets meer dan een logisch gevolg van het klassieke onderscheid tussen feit en rechtsregel .

And yet Paladio has made everything evident of us. with its classicism, its order, its precision, its logic, its rationality.
En toch heeft Paladio ons alles duidelijk gemaakt. Met zijn klassiekheid, zijn volgorde, zijn precisie, zijn logica en zijn rationaliteit.

Classical music is a matter of art and logic.
Klassieke muziek is een zaak van kunst en logica.

As the Commission underlined in its Green Paper on relations between the EU and the OCTs, ‘the overall approach towards the OCTs remained nevertheless closely inspired by the ACP-EC Partnership Agreement and its classic development cooperation logic based on the fight against poverty, despite the mismatch between such an approach and the OCTs' contemporary situation’.
Zoals de Commissie benadrukt in haar groenboek over de betrekkingen tussen de EU en de LGO „blijft de algemene aanpak voor de LGO sterk geïnspireerd op de ACS-EG-partnerschapsovereenkomst en de klassieke benadering van ontwikkelingssamenwerking, die uitgaat van de bestrijding van armoede, ook al past die aanpak niet bij de huidige situatie van de LGO.”

Classical logic - Wikipedia
Klassieke logica - Wikipedia

How, exactly, do the findings of quantum physics unsettle classical logic?
Welke consequenties hebben de bevindingen van de kwantumfysica voor de klassieke logica?

Non-classical logic - Wikipedia
Klassieke logica - Wikipedia

The relevance of non-classical logics for philosophy of science, philosophy of mathematics and philosophy of language.
De relevantie van niet-klassieke logica's voor de wetenschapsfilosofie, de filosofie van de wiskunde en de taalfilosofie.

Tags: mario bros, tetris, classic, logic
Tags: mario bros, tetris, klassieke, logica

Contents DefinitionEdit In classical logic (as well as intuitionistic logic and most other logics), contradictions entail everything.
In de klassieke logica, alsook in andere logica's zoals intuïtionistische logica, geldt, dat men uit een tegenspraak elke gewenste uitspraak kan afleiden.

In classical logic, contradiction is a sign of error.
In de klassieke logica is contradictie een teken van vergissing.