Inhoudsopgave
30 relaties: Boolean, DPLL-algoritme, Eliminatie van dubbele negatie, Entscheidungsproblem, Filosofie van de geest, Formeel systeem, Fuzzy logic, Interpretatie (logica), Invariant (informatica), Jan Łukasiewicz, John Maynard Keynes, Logische constante, Logische equivalentie, Logische implicatie, Logische negatie, Meerwaardige logica, Monotone variable fixing, Notepad, Resolutie (logica), Superveniëntie, Systematische kwalitatieve vergelijkende analyse, Taalfilosofie, Tweewaardige logica, Uitcommentariëren, Unaire operatie, Vervulbaarheid, Vervulbaarheidsequivalentie, Vervulbaarheidsprobleem, Waarheidstabel, Wet van de uitgesloten derde.
Boolean
In de informatica is boolean een datatype met slechts twee mogelijke waarden, true (waar, ja) en false (onwaar, nee), bedoeld om de waarheidswaarde van logische expressies in computerprogramma's en boolealgebra's te representeren.
Bekijken Waarheidswaarde en Boolean
DPLL-algoritme
Het DPLL-algoritme (Davis-Putnam-Logemann-Loveland algoritme) is een algoritme voor het onderzoeken van de vervulbaarheid van een propositie in conjunctieve normaalvorm (dit probleem is ook bekend als CNF-SAT).
Bekijken Waarheidswaarde en DPLL-algoritme
Eliminatie van dubbele negatie
In de klassieke logica is eliminatie van dubbele negatie (ook: dubbele negatie-eliminatie) een afleidingsregel die stelt dat twee opeenvolgende negaties weggehaald mogen worden aangezien de resulterende formule logisch equivalent is met de voorgaande.
Bekijken Waarheidswaarde en Eliminatie van dubbele negatie
Entscheidungsproblem
In de wiskunde en informatica is het zogeheten Entscheidungsproblem (Duits voor 'beslissingsprobleem') een uitdaging van David Hilbert in 1928.
Bekijken Waarheidswaarde en Entscheidungsproblem
Filosofie van de geest
frenologische weergave van de hersenen. Frenologie behoorde tot de eerste pogingen om de mentale functies te verbinden met specifieke delen van de hersenen. De filosofie van de geest (Engels: Philosophy of Mind) is de filosofische studie van de geest, de mentale processen, de mentale functies, de mentale eigenschappen en het bewustzijn en hun verhouding tot het fysieke lichaam: het zogenoemde lichaam-geestprobleem.
Bekijken Waarheidswaarde en Filosofie van de geest
Formeel systeem
Een formeel systeem is een combinatie van een formele taal en een verzameling afleidings- of transformatieregels of axioma's die zinnen in de formele taal omzetten in nieuwe zinnen.
Bekijken Waarheidswaarde en Formeel systeem
Fuzzy logic
Fuzzy logic (soms vage logica of wollige logica genoemd) is een stroming binnen de logica waarin met waarschijnlijkheden wordt gerekend in plaats van alleen met de mogelijkheden 'waar' en 'onwaar'.
Bekijken Waarheidswaarde en Fuzzy logic
Interpretatie (logica)
Met interpretatie wordt in de logica de extensie van symbolen en strings aan de hand van tupels bedoeld.
Bekijken Waarheidswaarde en Interpretatie (logica)
Invariant (informatica)
In de informatica is een invariant een predicaat dat dezelfde waarheidswaarde behoudt tijdens het uitvoeren van een stuk code.
Bekijken Waarheidswaarde en Invariant (informatica)
Jan Łukasiewicz
Jan Łukasiewicz (Lwów, Galicië, 21 december 1878 – Dublin, 13 februari 1956) was een etnisch-Poolse wiskundige en logicus.
Bekijken Waarheidswaarde en Jan Łukasiewicz
John Maynard Keynes
John Maynard Keynes (Cambridge, 5 juni 1883 – Firle, 21 april 1946) was een Brits econoom.
Bekijken Waarheidswaarde en John Maynard Keynes
Logische constante
Een logische constante is een bouwsteen van een logische formule.
Bekijken Waarheidswaarde en Logische constante
Logische equivalentie
In de logica zijn twee uitspraken logisch equivalent als zij dezelfde logische betekenis hebben.
Bekijken Waarheidswaarde en Logische equivalentie
Logische implicatie
Venndiagram van de implicatie - rood is waar De logische implicatie is in de logica een bewering die stelt dat als P waar is, Q ook waar is.
Bekijken Waarheidswaarde en Logische implicatie
Logische negatie
Logische negatie of ontkenning is een operatie in de natuurlijke talen, logica en wiskunde die de waarheidswaarde van een propositie verandert van waar in onwaar en van onwaar in waar.
Bekijken Waarheidswaarde en Logische negatie
Meerwaardige logica
Meerwaardige logica (Multi-Valued Logic of MVL) is een verzamelnaam voor alle logische systemen waarbij zinnen niet alleen maar "waar" of "onwaar" kunnen zijn, maar ook een andere waarheidswaarden kunnen hebben.
Bekijken Waarheidswaarde en Meerwaardige logica
Monotone variable fixing
Bij automatisch stelling bewijzen is monotone variable fixing (ook bekend als de pure literal rule) een methode om een verzameling clausules (Engels: een clause set) te vereenvoudigen en 'op te schonen'.
Bekijken Waarheidswaarde en Monotone variable fixing
Notepad
Notepad (Nederlandse versie: Kladblok) is een kleine teksteditor die standaard bij elk Windows-besturingssysteem geleverd wordt.
Bekijken Waarheidswaarde en Notepad
Resolutie (logica)
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.
Bekijken Waarheidswaarde en Resolutie (logica)
Superveniëntie
Een stel kenmerken van A supervenieert op een stel kenmerken van B dan en slechts dan als een wijziging van de kenmerken van A slechts mogelijk is bij een wijziging van kenmerken van B. Er is dus een directe causale relatie tussen de superveniente kenmerken van A, en de subveniënte kenmerken van B.
Bekijken Waarheidswaarde en Superveniëntie
Systematische kwalitatieve vergelijkende analyse
Systematische kwalitatieve vergelijkende analyse (Qualitative Comparative Analysis, QCA) is een techniek voor data-analyse die gebruik maakt van datareductie via booleaanse algebra.
Bekijken Waarheidswaarde en Systematische kwalitatieve vergelijkende analyse
Taalfilosofie
Taalfilosofie of filosofie van de taal betreft het filosofisch onderzoek naar de aard en het gebruik van de taal in haar relatie tot de werkelijkheid en heeft daardoor raakpunten met de linguïstiek, alhoewel haar onderzoek toch eerder conceptueel dan empirisch is.
Bekijken Waarheidswaarde en Taalfilosofie
Tweewaardige logica
Tweewaardige logica is dat deel van de propositielogica, waar men proposities bestudeert waarvan men onderstelt, dat ze slechts twee waarheidswaarden kunnen hebben; namelijk waar of onwaar (vals).
Bekijken Waarheidswaarde en Tweewaardige logica
Uitcommentariëren
In de informatica verwijst uitcommentariëren (ook wel uitsterren of uitslashen genoemd) naar het in commentaar plaatsen van gedeelten van een bestand, zoals een configuratiebestand of de broncode van een computerprogramma.
Bekijken Waarheidswaarde en Uitcommentariëren
Unaire operatie
Een unaire operatie is een wiskundige operatie of bewerking waarvoor maar een operand of parameter nodig is.
Bekijken Waarheidswaarde en Unaire operatie
Vervulbaarheid
In de klassieke propositielogica is een propositie vervulbaar als er een toekenning van waarheidswaardes aan de atomaire formules van die propositie bestaat zodat de propositie waar is.
Bekijken Waarheidswaarde en Vervulbaarheid
Vervulbaarheidsequivalentie
In de klassieke logica zijn twee proposities vervulbaarheidsequivalent als er voor beide wel (of niet) een toekenning van waar of onwaar aan de atomaire formules bestaat waardoor de proposities waar zijn (dit wordt ook wel het vervullen van een formule of propositie genoemd).
Bekijken Waarheidswaarde en Vervulbaarheidsequivalentie
Vervulbaarheidsprobleem
In de complexiteitstheorie verwijst het vervulbaarheidsprobleem (ook bekend als SAT, van het Engelse satisfiability) naar het bepalen of een logische propositie vervuld kan worden; een propositie kan vervuld worden als er een toekenning van waar of onwaar aan de atomaire formules bestaat zodanig dat de gehele propositie waar is.
Bekijken Waarheidswaarde en Vervulbaarheidsprobleem
Waarheidstabel
Een waarheidstabel of waarheidstafel is een wiskundige tabel die in het begin van de 20e eeuw werd ontwikkeld door Emil Leon Post.
Bekijken Waarheidswaarde en Waarheidstabel
Wet van de uitgesloten derde
De wet van de uitgesloten derde of van het uitgesloten midden, ook wel tertium non datur (Lat., "een derde is niet gegeven"), is een logische wet die inhoudt dat iedere uitspraak waar of onwaar is; een andere, derde, mogelijkheid is er niet.
Bekijken Waarheidswaarde en Wet van de uitgesloten derde