15 relaties: Booleaanse functie, Context (taal), Dan en slechts dan als, Equivalent (taalkunde), Formeel systeem, Logica, Metataal, Predicatenlogica, Propositielogica, Semantiek, Syntaxis (logica), Vervulbaarheidsequivalentie, Waarheidstabel, Waarheidswaarde, Wiskundig bewijs.
Booleaanse functie
Een booleaanse waarde of booleaanse constante is een van de twee waarden "waar" (vaak gepresenteerd door het getal 1) en "onwaar" (vaak gepresenteerd door het getal 0).
Nieuw!!: Logische equivalentie en Booleaanse functie · Bekijk meer »
Context (taal)
De context is de totale omgeving waarin iets zijn betekenis krijgt.
Nieuw!!: Logische equivalentie en Context (taal) · 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!!: Logische equivalentie en Dan en slechts dan als · Bekijk meer »
Equivalent (taalkunde)
In de semantiek wordt met een equivalent een woord of woordgroep bedoeld, verwijzend naar hetzelfde concept als een ander woord of een andere woordgroep.
Nieuw!!: Logische equivalentie en Equivalent (taalkunde) · Bekijk meer »
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.
Nieuw!!: Logische equivalentie en Formeel systeem · Bekijk meer »
Logica
Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.
Nieuw!!: Logische equivalentie en Logica · Bekijk meer »
Metataal
Metataal is de benaming voor elke taal of daarmee vergelijkbaar systeem met behulp waarvan dezelfde of een andere taal of een ander systeem wordt beschreven.
Nieuw!!: Logische equivalentie en Metataal · Bekijk meer »
Predicatenlogica
Predicatenlogica is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven.
Nieuw!!: Logische equivalentie en Predicatenlogica · Bekijk meer »
Propositielogica
De propositielogica is een tak van logica die zich bezighoudt met het redeneren met proposities.
Nieuw!!: Logische equivalentie en Propositielogica · Bekijk meer »
Semantiek
De semantiek of betekenisleer is een wetenschap die zich bezighoudt met de betekenis van symbolen, waarbij het in het bijzonder de bouwstenen van natuurlijke talen die voor de communicatie dienen ofwel woorden en zinnen betreft.
Nieuw!!: Logische equivalentie en Semantiek · Bekijk meer »
Syntaxis (logica)
In de logica verwijst de syntaxis naar de regels voor het opstellen van een in een formele taal geschreven tekst om binnen een logisch systeem goedgevormde formules op te stellen.
Nieuw!!: Logische equivalentie en Syntaxis (logica) · Bekijk meer »
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).
Nieuw!!: Logische equivalentie en Vervulbaarheidsequivalentie · Bekijk meer »
Waarheidstabel
Een waarheidstabel of waarheidstafel is een wiskundige tabel die in het begin van de 20e eeuw werd ontwikkeld door Emil Leon Post.
Nieuw!!: Logische equivalentie en Waarheidstabel · Bekijk meer »
Waarheidswaarde
In de wiskunde en de logica is de waarheidswaarde van een propositie de waarde die aangeeft in welke mate de propositie waar is.
Nieuw!!: Logische equivalentie en Waarheidswaarde · Bekijk meer »
Wiskundig bewijs
zijde is. Het is een bewijs door constructie Een wiskundig bewijs is het volgens formele regels aantonen dat, gegeven bepaalde axioma's, een bepaalde stelling waar is.
Nieuw!!: Logische equivalentie en Wiskundig bewijs · Bekijk meer »