Snellere toegang dan browser!
30 relaties: Afbeelding (wiskunde), Berekenbaarheid, Beslissingsprobleem, Bewerkingsvolgorde, Bewijs door contrapositie, Bewijs uit het ongerijmde, Bewijstheorie, Conjunctieve normaalvorm, Dan en slechts dan als, Formele semantiek, Gerhard Gentzen, Intuïtionisme, Klassieke logica, Logica, Logische conjunctie, Logische disjunctie, Logische equivalentie, Logische implicatie, Logische negatie, Meerwaardige logica, Modus ponens, NP-volledig, Premisse (logica), Propositie, Taal, Tautologie (logica), Vervulbaarheidsprobleem, Wet van de uitgesloten derde, Wetten van De Morgan, Wickie de Viking (tekenfilmserie).
Afbeelding (wiskunde)
gebruikelijke notatie voor "\alpha beeldt x af op y". voorbeeld van een afbeelding In de wiskunde is het begrip afbeelding de verzamelingtheoretische interpretatie van het begrip functie.
Nieuw!!: Propositielogica en Afbeelding (wiskunde) · Bekijk meer »
Berekenbaarheid
In de complexiteitstheorie is berekenbaarheid een eigenschap van functies.
Nieuw!!: Propositielogica en Berekenbaarheid · Bekijk meer »
Beslissingsprobleem
In de berekenbaarheids- en complexiteitstheorie is een beslissingsprobleem een computationeel probleem dat, afhankelijk van de gegeven invoer, met 'ja' of 'nee' beantwoord dient te worden.
Nieuw!!: Propositielogica en Beslissingsprobleem · Bekijk meer »
Bewerkingsvolgorde
Rekensom voor de lagere school uit 1958Bewerkingsvolgorde slaat op het stelsel van gewoonteregels met betrekking tot de interpretatie van wiskundige of logische expressies met meerdere bewerkingen, voor wat betreft de volgorde van uitvoering van de bewerkingen (de sterkte van de binding).
Nieuw!!: Propositielogica en Bewerkingsvolgorde · Bekijk meer »
Bewijs door contrapositie
Het bewijs door contrapositie is een methode om het wiskundige bewijs te geven van de stelling door het bewijzen van de omgekeerde stelling In de klassieke logica is de tweede stelling equivalent aan de eerste: een bewijs van de ene stelling is ook een bewijs voor de andere stelling.
Nieuw!!: Propositielogica en Bewijs door contrapositie · Bekijk meer »
Bewijs uit het ongerijmde
Een bewijs uit het ongerijmde, Latijn reductio ad absurdum, herleiding tot het absurde, soms ook indirect bewijs genoemd, is een bewijsmethode in de logica en de wiskunde.
Nieuw!!: Propositielogica en Bewijs uit het ongerijmde · Bekijk meer »
Bewijstheorie
Bewijstheorie is een tak van de wiskundige logica die bewijzen als formele wiskundige objecten opvat.
Nieuw!!: Propositielogica en Bewijstheorie · Bekijk meer »
Conjunctieve normaalvorm
In de logica is een formule in conjunctieve normaalvorm (Eng. conjunctive normal form, CNF, ook wel afgekort als CNV) als die bestaat uit een conjunctie van disjuncties met literalen (ook een conjunctie van clausules genoemd).
Nieuw!!: Propositielogica en Conjunctieve normaalvorm · Bekijk meer »
Dan en slechts dan als
Dan en slechts dan als (afkorting: desda) is in de wiskunde en in de logica een algemeen gebruikte uitdrukking om equivalentie van twee uitspraken aan te geven.
Nieuw!!: Propositielogica en Dan en slechts dan als · Bekijk meer »
Formele semantiek
Formele semantiek is de overkoepelende term voor de manier waarop zowel de semantiek en de logica als de gewone taal en de formele taal (bijvoorbeeld computertaal) worden beschreven.
Nieuw!!: Propositielogica en Formele semantiek · Bekijk meer »
Gerhard Gentzen
Gerhard Gentzen in 1945 Gerhard Karl Erich Gentzen (Greifswald, 24 november 1909 - Praag, 4 augustus 1945) was een Duits wiskundige en logicus.
Nieuw!!: Propositielogica en Gerhard Gentzen · Bekijk meer »
Intuïtionisme
Het intuïtionisme is een grondslagenstroming in de wiskunde die rond 1900 opkwam en waarvan de Nederlandse wiskundigen L.E.J. Brouwer en Arend Heyting belangrijke vertegenwoordigers waren.
Nieuw!!: Propositielogica en Intuïtionisme · Bekijk meer »
Klassieke logica
In de wiskundige logica wordt een logica klassiek genoemd, wanneer ze tweewaardig is en in die logica de wet van de uitgesloten derde geldt.
Nieuw!!: Propositielogica en Klassieke logica · Bekijk meer »
Logica
Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.
Nieuw!!: Propositielogica en Logica · Bekijk meer »
Logische conjunctie
Venndiagram van de conjunctie - rood is waar In de wiskunde en de logica is logische conjunctie (symbool: \land, &, &&, EN of AND) een logische operator die twee proposities met elkaar verbindt, zodanig dat de conjunctie van beide waar is als beide operanden waar zijn.
Nieuw!!: Propositielogica en Logische conjunctie · Bekijk meer »
Logische disjunctie
Venndiagram van \scriptstyle A \lor B In de logica en de wiskunde is de logische disjunctie (symbool: \scriptstyle\lor, OF of OR) een logische operator, waarvan de betekenis min of meer overeenkomt met het Nederlandse woord "of".
Nieuw!!: Propositielogica en Logische disjunctie · Bekijk meer »
Logische equivalentie
In de logica zijn twee uitspraken logisch equivalent als zij dezelfde logische betekenis hebben.
Nieuw!!: Propositielogica en Logische equivalentie · Bekijk meer »
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.
Nieuw!!: Propositielogica en Logische implicatie · Bekijk meer »
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.
Nieuw!!: Propositielogica en Logische negatie · Bekijk meer »
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.
Nieuw!!: Propositielogica en Meerwaardige logica · Bekijk meer »
Modus ponens
Modus ponendo ponens (Latijn: wijs die door te stellen (bevestigen) stelt (bevestigt), ponere→"(neer) zetten"), kort modus ponens (soms afgekort tot MP), is een geldige propositionele redeneervorm met twee premissen, waarvan de eerste een voorwaardelijke uitspraak is: of in logische operatornotatie: De redenering heeft twee premissen.
Nieuw!!: Propositielogica en Modus ponens · Bekijk meer »
NP-volledig
NP-volledigheid is een concept uit de complexiteitstheorie.
Nieuw!!: Propositielogica en NP-volledig · Bekijk meer »
Premisse (logica)
Een premisse is een vooronderstelling dat iets waar is.
Nieuw!!: Propositielogica en Premisse (logica) · Bekijk meer »
Propositie
Een propositie of bewering is in de logica een declaratieve zin die of waar of onwaar kan zijn.
Nieuw!!: Propositielogica en Propositie · Bekijk meer »
Taal
Spijkerschrift is de oudst overgeleverde vorm van geschreven taal. Taal is een systeem van tekens – zoals gesproken klanken, gebaren, of geschreven symbolen – waarvan de mens gebruikmaakt om zijn gedachten te articuleren, zijn wereld te ordenen en te communiceren.
Nieuw!!: Propositielogica en Taal · Bekijk meer »
Tautologie (logica)
Een tautologie in de logica is een propositie die alleen al op formeel logische gronden waar is.
Nieuw!!: Propositielogica en Tautologie (logica) · Bekijk meer »
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.
Nieuw!!: Propositielogica en Vervulbaarheidsprobleem · Bekijk meer »
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.
Nieuw!!: Propositielogica en Wet van de uitgesloten derde · Bekijk meer »
Wetten van De Morgan
De wetten van De Morgan, of regels van De Morgan, zijn twee wetten in de formele logica die een verband leggen tussen de beide logische operatoren EN en OF en de negatie.
Nieuw!!: Propositielogica en Wetten van De Morgan · Bekijk meer »
Wickie de Viking (tekenfilmserie)
Attractie in Plopsa Coo Wickie de Viking is een Japans-Duits-Oostenrijkse tekenfilmserie.
Nieuw!!: Propositielogica en Wickie de Viking (tekenfilmserie) · Bekijk meer »
