Zoekresultaten
Naar navigatie springen
Naar zoeken springen
Overeenkomst met onderwerp
- …zovoorts te kunnen weergeven. Een werk dat aan de basis ligt van de modale logica's, is ''A Survey of Symbolic Logic'' van de Amerikaanse filosoof [[Clarence Voor de [[semantiek]] van modale logica's worden vaak [[Kripkemodel]]len gebruikt. …7 kB (1.014 woorden) - 19 dec 2023 23:27
- [[Categorie:Logica]] …3 kB (403 woorden) - 15 sep 2024 17:24
- …alelement in de [[wiskunde]], in het bijzonder in de [[logica (wetenschap)|logica]]. Met het teken voor "niet" (<math>\lnot</math>) kan in de [[klassieke logica]] de ene kwantor in de andere worden uitgedrukt: …5 kB (661 woorden) - 29 mei 2024 00:41
- Een '''atoom''' of '''atomaire formule''' in de [[logica]] is een logische formule waarin geen [[Booleaanse operator|logische operat [[Categorie:Logica]] …1 kB (158 woorden) - 20 apr 2024 18:30
- …esolutie is een geldige regel voor het afleiden van een nieuwe [[clausule (logica)|clausule]] ([[Engels]]: ''clause'', een [[disjunctie]] van [[Literaal|lite …ule zou er voor kunnen zorgen dat het niet meer mogelijk is de [[Clausule (logica)|lege clausule]] af te leiden. Het afleiden van de lege clausule is een man …17 kB (2.603 woorden) - 14 mei 2023 17:45
- In de [[logica (wetenschap)|logica]] is een '''clausule''' (in het [[Engels]]: ''clause'') een eindige [[Logis [[Categorie:Logica]] …2 kB (278 woorden) - 2 mei 2020 15:05
- De '''epistemische logica''' is een vorm van [[modale logica]] waarin [[Kennis (wetenschap)|kennis]] kan worden gemodelleerd. …'' de kennis ''φ'' bezit (''K<sub>a</sub>φ''). Daarmee is een multi-modale logica gevormd. Met behulp van deze operatoren kan ook [[gemeenschappelijke kennis …2 kB (278 woorden) - 28 jun 2023 20:43
- …ica de wetenschap verstaan die zich met het bestuderen van paraconsistente logica's bezighoudt. …der de Latijnse naam ''[[ex falso sequitur quod libet]]''. Dit maakt zulke logica's niet geschikt om met tegenstrijdige informatie te redeneren, terwijl dit …4 kB (526 woorden) - 24 jul 2019 06:56
- Een beroemde paradox uit de [[logica (wetenschap)|logica]] is de [[paradox van Epimenides]] die in de [[Brief van Paulus aan Titus|b …egevensstructuur]]. Op deze manier kan men ervaren dat stellingen uit de [[logica]], de [[grondslagen van de wiskunde]] en de theoretische [[informatica]] ov …7 kB (936 woorden) - 10 jan 2025 16:18
- …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
- …denis van de logica''' bestrijkt de ontwikkeling van [[logica (wetenschap)|logica]], zoals deze in de [[geschiedenis]] van verschillende culturen en traditie * de logica in China …24 kB (3.349 woorden) - 11 jun 2024 22:11
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
- …tradictie''' of '''tegenspraak''' is een situatie waarbij twee [[bewering (logica)|bewering]]en of waarnemingen die elkaar uitsluiten tegelijkertijd [[waarhe …<math>p</math>). In de klassieke en de [[intuitionisme|intuitionistische]] logica geldt de regel ''[[ex falso sequitur quod libet]]'', oftewel ''uit het onge …873 bytes (118 woorden) - 8 mei 2019 18:56
- …intuïtionistische]] en de verschillende [[Meerwaardige logica|meerwaardige logica's]]. [[Categorie:Logica]] …1 kB (207 woorden) - 4 okt 2024 13:07
- …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
- De '''epistemische logica''' is een vorm van [[modale logica]] waarin [[Kennis (wetenschap)|kennis]] kan worden gemodelleerd. …'' de kennis ''φ'' bezit (''K<sub>a</sub>φ''). Daarmee is een multi-modale logica gevormd. Met behulp van deze operatoren kan ook [[gemeenschappelijke kennis …2 kB (278 woorden) - 28 jun 2023 20:43
- …e proposities waar de propositie uit afgeleid wordt, worden de [[premisse (logica)|premissen]] genoemd en de afgeleide propositie de [[conclusie]]: de conclu Voorbeelden van afleidingsregels in de [[klassieke logica|klassieke]] [[propositielogica]]: …1 kB (170 woorden) - 10 okt 2018 23:29
- ;Logica * [[Gelijkheid (logica)]], gelijkheid in termen van booleaanse algebra …798 bytes (76 woorden) - 20 sep 2021 20:03
- …ica de wetenschap verstaan die zich met het bestuderen van paraconsistente logica's bezighoudt. …der de Latijnse naam ''[[ex falso sequitur quod libet]]''. Dit maakt zulke logica's niet geschikt om met tegenstrijdige informatie te redeneren, terwijl dit …4 kB (526 woorden) - 24 jul 2019 06:56
- …enning''' is een bewerking in de [[Natuurlijke taal|natuurlijke talen]], [[logica]] en [[wiskunde]] die de [[waarheidswaarde]] van een [[propositie]] <math>P == Logica == …3 kB (475 woorden) - 1 mrt 2024 17:04
- …tielogica]], de [[predicatenlogica]], de [[modale logica]] of de [[hybride logica]]. Hierbij is er extra formele apparatuur om uit te drukken of iets in het …de onderscheiden die bij temporele logica's worden gemaakt, is die tussen logica's die tijd als een lineair gegeven zien, en die, die het toestaan dat er ve …3 kB (451 woorden) - 16 jul 2020 23:18
- …kunde)|verzameling]] geldt. De bijbehorende '''unieke existentie[[kwantor (logica)|kwantor]]''' wordt genoteerd als <math>\exists!</math>. [[Categorie:Logica]] …1 kB (205 woorden) - 3 mei 2021 16:29
- In de [[logica]] is de '''deductieve afsluiting''' van een [[Verzameling (wiskunde)|verzam …bevat ook, ongeacht de elementen in <math>\Gamma</math>, de [[tautologie (logica)|tautologie]]ën van de propositielogica (bijvoorbeeld <math>p \vee \neg p</ …2 kB (208 woorden) - 23 jun 2023 15:24
- …ct in het domein. De afgeleide propositie maakt gebruikt van de [[Kwantor (logica)|existentiekwantor]]. Formeel verloopt existentiële generalisatie als volgt …778 bytes (105 woorden) - 5 mrt 2025 21:42
- …]] uitgevoerd. Het komt voor [[positieve logica|positieve]] en [[negatieve logica]] op hetzelfde neer; het maakt niet uit, of een logische 1 correspondeert… …g met het contact is geopend, wanneer het relais bekrachtigd is. Positieve logica: 1 = [[elektrische stroom|stroom]]voerend …2 kB (257 woorden) - 22 okt 2019 11:03
- Een '''atoom''' of '''atomaire formule''' in de [[logica]] is een logische formule waarin geen [[Booleaanse operator|logische operat [[Categorie:Logica]] …1 kB (158 woorden) - 20 apr 2024 18:30
- …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
- …ten in het domein. De afgeleide propositie maakt gebruik van de [[Kwantor (logica)|universele kwantor]]. Formeel verloopt universele generalisatie als volgt: …942 bytes (124 woorden) - 5 mrt 2025 21:41
- …Amerikaanse logicus [[Frederic Fitch]]. In het systeem worden [[Premisse (logica)|premissen]], [[hulpstelling|lemmata]] en deelbewijzen gebruikt om stelling [[Categorie:Logica]] …2 kB (237 woorden) - 7 aug 2016 19:35
- …rvulbaar''' als er een toekenning van [[waarheidswaarde]]s aan de [[Atoom (logica)|atomaire formules]] van die propositie bestaat zodat de propositie waar is : <math>A \lor \neg A</math> Dit is een [[Tautologie (logica)|tautologie]], deze propositie is altijd waar. …3 kB (341 woorden) - 16 nov 2024 15:04
- …e'') een methode om een [[Verzameling (wiskunde)|verzameling]] [[Clausule (logica)|clausules]] (Engels: een ''clause set'') te vereenvoudigen en 'op te schon …t een literal uit een andere clausule kan niet met behulp van [[Resolutie (logica)|resolutie]] weggehaald worden. De enige manier om die clausule te [[Vervul …3 kB (367 woorden) - 16 okt 2015 08:39