Zoekresultaten
Naar navigatie springen
Naar zoeken springen
Overeenkomst met onderwerp
- …k zegt men van een logica <math> \alpha</math> dat deze sterker is dan een logica <math> \beta </math> wanneer elke [[elementaire klasse]] in <math>\alpha</m * [[Abstracte logica]] …696 bytes (90 woorden) - 4 aug 2019 09:45
Overeenkomst met inhoud
- …k zegt men van een logica <math> \alpha</math> dat deze sterker is dan een logica <math> \beta </math> wanneer elke [[elementaire klasse]] in <math>\alpha</m * [[Abstracte logica]] …696 bytes (90 woorden) - 4 aug 2019 09:45
- …t woord ''literaal'' wordt vooral gebruikt om de elementen van [[Clausule (logica)|clausule]]s van formules in [[conjunctieve normaalvorm]] te benoemen. [[Categorie:Logica]] …938 bytes (145 woorden) - 2 mei 2020 23:09
- …consistentie (logica)|consistentie]] en de [[onafhankelijkheid (wiskundige logica)|onafhankelijkheids]]resultaten te [[bewijs (wiskunde)|bewijzen]]. …el binnen de verzamelingenleer als in andere deelgebieden van [[wiskundige logica]], zoals de [[recursietheorie]], bewezen een bijzonder krachtige techniek… …2 kB (273 woorden) - 26 feb 2024 23:11
- …t '''bewijs door contrapositie''' is een methode om het [[Wiskundig bewijs|wiskundige bewijs]] te geven van de [[Stelling (wiskunde)|stelling]] In de [[klassieke logica]] is de tweede stelling [[Logische equivalentie|equivalent]] aan de eerste: …2 kB (296 woorden) - 18 sep 2023 18:03
- *[[Volledig (logica)]] *een wiskundige term (sommige soorten wiskundige structuren zijn vatbaar voor standaardtechnieken om ze uit te breiden tot… …701 bytes (88 woorden) - 16 jul 2024 07:35
- …ordt ook de '''dualiteit van De Morgan''' genoemd. Zij zijn naar de Britse wiskundige [[Augustus De Morgan]] genoemd, maar waren al eerder bekend. == Verband met andere vormen van logica == …3 kB (465 woorden) - 21 feb 2024 00:03
- …ijke ervaring van tijd. Hieruit volgt onder andere dat [[Object (wiskunde)|wiskundige objecten]] in de loop van de tijd worden geconstrueerd, in de menselijke ge Wiskundige objecten bestaan in het intuïtionisme alleen als ze in de loop van de tijd …4 kB (614 woorden) - 28 feb 2024 19:12
- In de [[wiskunde]], in de [[logica]] en bij [[rekenen]] is de eerste betekenis van een '''operator''' die van [[Categorie:Logica]] …1 kB (193 woorden) - 14 mrt 2025 22:14
- '''Predicatenlogica''' is wiskundig-formele [[logica]] waarin expliciet predicaten voorkomen, waarmee eigenschappen van en [[Rel …igheid]] nul. De taal van de predicatenlogica bevat verder twee [[Kwantor (logica)|kwantor]]en: de [[Universaliteit|universele kwantor]] <math>\forall</math> …3 kB (375 woorden) - 20 sep 2023 19:52
- …alen]], met ten hoogste één positieve literaal. Ze zijn vernoemd naar de [[Logica (wetenschap)|logicus]] [[Alfred Horn]], die deze in [[1951]] behandelde in …ammeren]] en [[Intuïtionisme|intuïtionistische logica]] (ook constructieve logica genoemd). …4 kB (575 woorden) - 18 jan 2025 04:17
- '''Noodzakelijkheid''' is een [[logica|logische]] [[Modale logica|modale]] kwalificatie die de aanwezigheid van een subject in alle mogelijke …reinen Vernunft]]'' noodzakelijkheid exclusief aan ''[[a priori]]'': alle wiskundige en logische (ofwel: a-priorische) waarheden waren volgens hem noodzakelijk …3 kB (399 woorden) - 16 jul 2022 14:49
- …in de [[kansrekening]] en de [[statistiek]], de [[logica (hoofdbetekenis)|logica]], de [[taalkunde|linguïstiek]] en de [[informatica]]. Venndiagrammen zijn [[Categorie:Wiskundige schrijfwijze]] …2 kB (365 woorden) - 8 jan 2024 09:43
- In de [[Wiskundige logica|logica]] is een formule in '''negatie-normaalvorm (NNV)''' als de [[Logische negat In de [[predicatenlogica]] en veel [[Modale logica|modale logica's]] kan elke formule in deze vorm worden herschreven door [[Logische implic …4 kB (536 woorden) - 28 jun 2024 08:46
- …logica)|paradox]] is genoemd naar [[Cesare Burali-Forti]], de Italiaanse [[wiskundige]] die deze paradox in 1897 ontdekte. …tanford.edu/entries/paradoxes-contemporary-logic/ Paradoxen en eigentijdse logica]" -- door Andrea Cantini. …2 kB (207 woorden) - 8 jun 2023 11:57
- …tracte algebraïsche structuur die van fundamenteel belang is in zowel de [[logica]] als de [[verzamelingenleer]]. …was een belangrijke mijlpaal in de formele ontwikkeling van de wiskundige logica, aangezien het aantoonde dat een Booleaanse algebra volledig gekarakterisee …4 kB (486 woorden) - 25 jan 2025 20:48
- In de [[wiskundige logica]] is een '''Gödelnummer''' een uniek [[natuurlijk getal]] dat wordt toegewe …mmering kan gezien worden als een codering waarbij aan elk symbool van een wiskundige notatie een getal wordt toegekend. Elke formule in het systeem, en elke ser …2 kB (376 woorden) - 14 mei 2015 12:38
- …tisatie''' of '''kwantisering''' en '''kwantiseerbaar''' verwijzen in de [[logica]] en de [[taalkunde]] naar het verschijnsel dat iets dat wel waar is voor… …|verzameling]]; <math>p</math> = [[mereologie|mereologisch]] deel van de [[wiskundige structuur]] van <math>U</math>; <math> <_p</math> = mereologische [[Tweepla …2 kB (250 woorden) - 6 jun 2024 16:35
- …de '''prenex-normaalvorm''' als ze geschreven is als een reeks [[Kwantor (logica)|kwantoren]], gevolgd door een deel zonder kwantoren, de ''matrix'' genoemd Iedere formule in de [[klassieke logica]] is logisch equivalent met een formule in prenex-normaalvorm. …3 kB (536 woorden) - 20 aug 2024 11:58
- …r]] bij is betrokken. Veel stellingen doen dit niet expliciet in standaard wiskundige taal. Dit geldt bijvoorbeeld voor de stelling dat de [[Sinus en cosinus|sin [[Categorie:Wiskundige terminologie]] …1 kB (174 woorden) - 26 jul 2020 22:14
- …te zijn worden axioma's genoemd, de nieuwe uitdrukkingen heten [[stelling (logica)|stelling]]en. …sitie-]], [[predicatenlogica|predicaten-]] en andere [[logica (wetenschap)|logica]]'s. …6 kB (901 woorden) - 26 sep 2023 22:16