Propositielogica, predicatenlogica en de belangrijkste bewijstechnieken uit een inleidende cursus discrete wiskunde.
41 kaarten · basiskaarten · Door AI geschreven, twee keer gecontroleerd. Pas alles aan.
- Wat is een propositie?
Toon antwoord
Een mededelende zin die waar of onwaar is, maar niet allebei.- Wat is een waarheidswaarde?
Toon antwoord
De eigenschap dat iets waar of onwaar is.- Definieer conjunctie (EN) in de logica.
Toon antwoord
De logische bewerking waarbij p EN q alleen waar is als zowel p als q waar is.- Definieer disjunctie (OF) in de logica.
Toon antwoord
De logische bewerking waarbij p OF q waar is als minstens één van p of q waar is.- Definieer negatie (NIET) in de logica.
Toon antwoord
De logische bewerking waarbij NIET p de waarheidswaarde van p omkeert.- Wat is een conditionele uitspraak (implicatie)?
Toon antwoord
Een uitspraak p IMPLICEERT q, die alleen onwaar is als p waar is en q onwaar.- What is a biconditional statement?
Toon antwoord
A statement p if and only if q (p IFF q), true when p and q have the same truth value.- Wat is de omgekeerde (converse) van p IMPLICEERT q?
Toon antwoord
De uitspraak q IMPLICEERT p.- Wat is de inverse van p IMPLICEERT q?
Toon antwoord
De uitspraak (NIET p) IMPLICEERT (NIET q).- Wat is de contrapositie van p IMPLICEERT q?
Toon antwoord
De uitspraak (NIET q) IMPLICEERT (NIET p).- Wat is een tautologie?
Toon antwoord
Een propositie die waar is bij elke mogelijke interpretatie of waarheidstoekenning.- Wat is een contradictie?
Toon antwoord
Een propositie die onwaar is bij elke mogelijke interpretatie of waarheidstoekenning.- Wat is een contingentie?
Toon antwoord
Een propositie die bij sommige interpretaties waar is en bij andere onwaar.- Geef de wet van De Morgan voor de conjunctie.
Toon antwoord
NIET (p EN q) is logisch equivalent met (NIET p) OF (NIET q).- Geef de wet van De Morgan voor de disjunctie.
Toon antwoord
NIET (p OF q) is logisch equivalent met (NIET p) EN (NIET q).
FlashKeepers