Zoekresultaten
Zie Logica (doorverwijspagina) voor andere betekenissen van Logica. Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels...7 kB (851 woorden) - 21 apr 2024 09:55
correcte redenatie binnen een correcte hypothese. Een beroemde paradox uit de logica is de paradox van Epimenides die in de brief aan Titus geciteerd wordt....7 kB (873 woorden) - 21 mrt 2024 08:07- Predicatenlogica (doorverwijzing vanaf Predicaat (logica))Predicatenlogica is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten...3 kB (386 woorden) - 20 sep 2023 20:52
- Propositie (doorverwijzing vanaf Bewering (logica))Een propositie of bewering is in de logica een declaratieve zin die of waar of onwaar kan zijn. Een bewering onderscheidt zich van een zin doordat een...2 kB (244 woorden) - 30 nov 2021 05:31
- De wiskundige logica is een deelgebied van de wiskunde. De wiskundige logica wordt onderverdeeld in de vier deelgebieden verzamelingenleer, bewijstheorie...16 kB (2.023 woorden) - 6 mrt 2024 20:30
Stelling (wiskunde) (doorverwijzing vanaf Stelling (logica))Om een stelling te bewijzen gebruikt men in de wiskunde de regels van de logica. De afleiding van een stelling wordt vaak geïnterpreteerd als een bewijs...18 kB (2.280 woorden) - 31 jul 2023 18:49- Booleaanse algebra (doorverwijzing vanaf Boolese logica)In de wiskunde, met name de abstracte algebra, en in de informatica is een booleaanse algebra of boolealgebra een algebraïsche structuur met de logische...7 kB (968 woorden) - 2 mei 2023 10:46
- Intuïtionisme (doorverwijzing vanaf Intuïtionistische logica)stelling. De wet van de uitgesloten derde uit de klassieke logica geldt in de intuïtionistische logica niet. Deze regel, die sinds de klassieke oudheid in de...4 kB (513 woorden) - 28 feb 2024 20:12
- De geschiedenis van de logica bestrijkt de ontwikkeling van logica, zoals deze in de geschiedenis van verschillende culturen en tradities is voorgekomen...24 kB (3.089 woorden) - 20 mei 2024 21:45
- zijn de uitgangspunten voor een syllogisme, zoals een redenering in de logica wordt genoemd. Een syllogisme is doorgaans opgebouwd uit een majorpremisse...3 kB (280 woorden) - 17 jul 2019 17:13
- Kripkemodellen gebruikt. Modale propositielogica is een veel gebruikte modale logica. Het is een propositielogica die bijvoorbeeld is uitgebreid met eenplaatsige...7 kB (1.014 woorden) - 20 dec 2023 00:27
- Consistent betekent in de logica: innerlijk samenhangend en niet tegenstrijdig, inconsistent is daarvan het antoniem en betekent: tegenstrijdig en niet...493 bytes (62 woorden) - 1 aug 2023 00:04
Logica was een internationaal opererend dienstverlenend bedrijf in de ICT-branche, in 2012 overgenomen door CGI Group. Het hoofdkantoor was gevestigd in...4 kB (363 woorden) - 20 apr 2024 15:18- In de wiskundige logica wordt een logica klassiek genoemd, wanneer ze tweewaardig is en in die logica de wet van de uitgesloten derde geldt. Bovendien...1 kB (149 woorden) - 18 sep 2023 18:53
Logische conjunctie (doorverwijzing vanaf Conjunctie (logica))In de wiskunde en de logica is logische conjunctie (symbool: ∧ {\displaystyle \land } , &, &&, EN of AND) een logische operator die twee proposities met...4 kB (460 woorden) - 15 okt 2020 11:53- Logische poort (doorverwijzing vanaf Discrete logica)logische poorten schakelingen of bouwstenen die werken volgens de booleaanse logica. De meest kenmerkende eigenschappen van logische schakelingen zijn: Functioneel...6 kB (527 woorden) - 3 nov 2021 16:56
Organon (Aristoteles) (doorverwijzing vanaf Aristotelische logica)wordt beschreven, en de toevoegingen daarna worden vaak onder de klassieke logica geschaard. Het werk van Aristoteles werd in de middeleeuwen als het logische...2 kB (187 woorden) - 7 jan 2021 15:22- Fuzzy logic (doorverwijzing vanaf Fuzzy Logica)Fuzzy logic (soms vage logica of wollige logica genoemd) is een stroming binnen de logica waarin met waarschijnlijkheden wordt gerekend in plaats van alleen...3 kB (396 woorden) - 5 sep 2021 22:26
- quantor gebruikt) is een taalelement in de wiskunde, in het bijzonder in de logica. Kwantoren binden variabelen. Zie Existentie, Universaliteit en Uniciteit...5 kB (438 woorden) - 29 mei 2024 01:41
Een argument is in de logica datgene wat men stelt om op grond daarvan een conclusie te trekken, iets te betogen of te bewijzen. De term is verwant aan...6 kB (675 woorden) - 3 mei 2022 15:33
- Programmeren in Java Inleiding Installatie Hulpmiddelen Basis Booleaanse logica Conditionele blokken Lussen Methoden Arrays Strings Exceptions Commandoregel-argumenten
- [ 56 ] Logica. Bevvijskonst. EEn wackere levende en vaerdige jonge dochter, in ’t wit gekleet, houdende in de rechter hand een ſteckade, en in de ſlincker
- Geluid: logica (hulp, bestand) lo·gi·ca Leenwoord uit het Latijn, in de betekenis van ‘leer van de wetten van het denken’ voor het eerst aangetroffen