Ga naar de inhoud
Logica Calculator
Calculator
Synthese
Leren
Woordenboek
Oefeningen
Thema selecteren:
Systeem
Selecteer taal:
🇳🇱
Nederlands
Menu
Calculator
Synthese
Leren
Woordenboek
Oefeningen
Thema
Thema selecteren:
Systeem
Taal
Selecteer taal:
🇳🇱
Nederlands
←
Terug naar Oefeningen
0:00
Moeilijkheid:
Beginner
Categorie:
Propositionele Logica
Type:
Meerkeuzevraag
Waar staan de symbolen
⊤
en
⊥
voor?
P ∧ ⊤
Twee propositievariabelen
De constanten waar (⊤) en onwaar (⊥)
Conjunctie en disjunctie
Het begin en het einde van een bewijs
Hint Krijgen
Start Training vanaf hier
Indienen
Leer de theorie
De gidsen die uitleggen wat je hier oefent.
Introductie tot Propositionele Calculus
→
Leer over proposities, waarheidstabellen, logische operatoren en hoe je logische uitdrukkingen in propositionele logica construeert en evalueert.
Gerelateerde Oefeningen
Moeilijkheid:
Beginner
Categorie:
Propositionele Logica
Type:
Meerkeuzevraag
Hoe wordt de formule ¬P ∧ Q gegroepeerd?
Moeilijkheid:
Beginner
Categorie:
Propositionele Logica
Type:
Meerkeuzevraag
Wat betekent het symbool ⊨ in P → Q, P ⊨ Q?
Moeilijkheid:
Beginner
Categorie:
Propositionele Logica
Type:
Meerkeuzevraag
Je toetsenbord heeft geen pijltoets voor →. Wat typ je in de rekenmachine om P…
Moeilijkheid:
Beginner
Categorie:
Propositionele Logica
Type:
Expressie Evaluatie
Evalueer de volgende expressie: P ∧ Q wanneer P = waar en Q = waar
←
Vorige
Welk van deze symbolen wordt gelezen als "dan en slechts dan als"?
Moeilijkheid:
Beginner
Categorie:
Propositionele Logica
Type:
Meerkeuzevraag
Volgende
→
Welke zin zegt hetzelfde als ¬(P ∧ Q)?
Moeilijkheid:
Beginner
Categorie:
Propositionele Logica
Type:
Meerkeuzevraag
