Wat is het resultaat van: waar EN onwaar?
waar ∧ onwaarOefen en verbeter je logische vaardigheden met interactieve oefeningen over Booleaanse algebra, propositionele logica, waarheidstabellen en meer.
Oefen oefeningen achtereenvolgens op basis van je huidige filters en sorteervoorkeuren. Perfect voor systematisch leren en het opbouwen van vaardigheden.
Wat is het resultaat van: waar EN onwaar?
waar ∧ onwaarWat is het resultaat van: onwaar OF waar?
onwaar ∨ waarWat is het resultaat van: NIET waar?
¬waarZet de volgende stappen in de juiste volgorde om Q te bewijzen vanuit de gegeven premissen. Doel: Bewijs Q
P → Q, P ⊢ QEvalueer de volgende expressie: P ∧ Q wanneer P = waar en Q = waar
P ∧ Q where P = ⊤, Q = ⊤Evalueer de volgende expressie: P ∨ Q wanneer P = onwaar en Q = waar
P ∨ Q where P = ⊥, Q = ⊤Vul de ontbrekende rechtvaardigingen in voor dit bewijs. Doel: Bewijs Q
P → Q, P ⊢ QDruk de volgende bewering uit met behulp van logische symbolen: "Als het regent, dan is de grond nat" Gebruik: - R voor "het regent" - W voor "de grond is nat" - ** → ** voor implicatie Voer je antwoord in met behulp van de symbolen die beschikbaar zijn in de rekenmachine.
Druk de volgende uitspraak uit met logische symbolen: "Het is zonnig en warm" Gebruik: - S voor "het is zonnig" - W voor "het is warm" - ** ∧ ** voor conjunctie (and) Voer je antwoord in met de symbolen die beschikbaar zijn in de rekenmachine.
Druk de volgende bewering uit met logische symbolen: "Ik ga wiskunde of natuurkunde studeren" Gebruik: - M voor "Ik ga wiskunde studeren" - P voor "Ik ga natuurkunde studeren" - ** ∨ ** voor disjunctie (or) Voer je antwoord in met de symbolen die beschikbaar zijn in de rekenmachine.
Druk de volgende uitspraak uit met logische symbolen: "Het regent niet" Gebruik: - R voor "het regent" - ¬ voor negatie (niet) Voer je antwoord in met de symbolen die beschikbaar zijn in de rekenmachine.
Druk de volgende bewering uit met logische symbolen: "Het alarm gaat af dan en slechts dan als beweging wordt gedetecteerd" Gebruik: - A voor "het alarm gaat af" - M voor "beweging wordt gedetecteerd" - ** ↔ ** voor biconditioneel (dan en slechts dan als) Voer je antwoord in met de symbolen die beschikbaar zijn in de calculator.
Beheers de fundamenten van Booleaanse algebra inclusief basisoperaties, wetten en vereenvoudigingstechnieken.
Leer logische equivalenties identificeren en bewijzen met verschillende methoden.
Verken propositionele logica met implicaties, biconditionalen en complexe logische relaties.
Oefen het maken en analyseren van waarheidstabellen voor verschillende logische expressies.
Basisbegrippen en eenvoudige toepassingen - perfect om mee te beginnen.
Complexere problemen die begrip van meerdere concepten vereisen.
Uitdagende oefeningen die diep begrip en toepassingsvaardigheden testen.
Expert-niveau problemen voor degenen die de fundamenten hebben beheerst.
Selecteer het juiste antwoord.
Vereenvoudig een logische uitdrukking.
Vergelijk twee logische uitdrukkingen.
Herrangschik bewijsstappen in de juiste volgorde.
Evalueer de waarheidswaarde van een uitdrukking.
Vul ontbrekende stappen in een gedeeltelijk bewijs in.
Construeer een stap-voor-stap bewijs.
Schrijf een logische uitdrukking.
Maak een volledige waarheidstabel.
Antwoorden op veelgestelde vragen over het gebruik van de Logica Calculator
Meerkeuze, waarheidstabellen invullen, vereenvoudigen, equivalentiecontroles, expressies invoeren en evalueren, en bewijzen — waaronder het afmaken van bewijzen en een bewijsbouwer met slepen en neerzetten. Ze zijn gegroepeerd in propositielogica, booleaanse algebra, waarheidstabellen, logische equivalentie, predicatenlogica en natuurlijke deductie, en je kunt filteren op categorie, type, moeilijkheid en label.
Er zijn er vier: beginner, gevorderd, geavanceerd en expert. Ze beschrijven hoeveel je moet weten en niet hoe lang een oefening duurt; bij elke oefening staat bovendien een geschatte tijd en het aantal punten dat ze waard is.
Een reeks oefeningen van één moeilijkheidsgraad, desgewenst beperkt tot de categorieën en typen waaraan je wilt werken. Ze houdt onderweg de score bij en vat aan het eind samen hoe het ging, met een aanbod voor het volgende niveau als dat er is.
In je browser, door dezelfde motor die de calculator aandrijft. De meeste oefentypen vergelijken je antwoord met het verwachte nadat spaties en notatie zijn genormaliseerd; bij expressie-invoer gaat het verder en wordt op logische equivalentie gecontroleerd, zodat een anders geschreven maar gelijkbetekenende formule alsnog goed wordt gerekend. Bij elke oefening hoort een uitleg, die verschijnt zodra je hebt geantwoord.
Ja, als de oefening er een heeft: een hint die je kunt onthullen zonder het antwoord weg te geven. Is dat niet genoeg, dan is de gids over dat onderwerp meestal de snelste weg terug — de oefencategorieën en de gidsen volgen dezelfde onderwerpen.