Propositielogica, predicatenlogica en de belangrijkste bewijstechnieken uit een inleidende cursus discrete wiskunde.
41 cards · basic cards · AI-written, checked twice. Edit anything.
- Wat is een propositie?
Show answer
Een mededelende zin die waar of onwaar is, maar niet allebei.- Wat is een waarheidswaarde?
Show answer
De eigenschap dat iets waar of onwaar is.- Definieer conjunctie (EN) in de logica.
Show answer
De logische bewerking waarbij p EN q alleen waar is als zowel p als q waar is.- Definieer disjunctie (OF) in de logica.
Show answer
De logische bewerking waarbij p OF q waar is als minstens één van p of q waar is.- Definieer negatie (NIET) in de logica.
Show answer
De logische bewerking waarbij NIET p de waarheidswaarde van p omkeert.- Wat is een conditionele uitspraak (implicatie)?
Show answer
Een uitspraak p IMPLICEERT q, die alleen onwaar is als p waar is en q onwaar.- What is a biconditional statement?
Show answer
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?
Show answer
De uitspraak q IMPLICEERT p.- Wat is de inverse van p IMPLICEERT q?
Show answer
De uitspraak (NIET p) IMPLICEERT (NIET q).- Wat is de contrapositie van p IMPLICEERT q?
Show answer
De uitspraak (NIET q) IMPLICEERT (NIET p).- Wat is een tautologie?
Show answer
Een propositie die waar is bij elke mogelijke interpretatie of waarheidstoekenning.- Wat is een contradictie?
Show answer
Een propositie die onwaar is bij elke mogelijke interpretatie of waarheidstoekenning.- Wat is een contingentie?
Show answer
Een propositie die bij sommige interpretaties waar is en bij andere onwaar.- Geef de wet van De Morgan voor de conjunctie.
Show answer
NIET (p EN q) is logisch equivalent met (NIET p) OF (NIET q).- Geef de wet van De Morgan voor de disjunctie.
Show answer
NIET (p OF q) is logisch equivalent met (NIET p) EN (NIET q).
FlashKeepers