Tentamen: Predicatenlogica kwantoren

Predikaat

Een functie die een eigenschap toekent aan objecten binnen een bepaald domein.

Universele kwantor

De symbool $\displaystyle \forall$ betekent 'voor alle'. Het geeft aan dat een uitspraak geldt voor elk element.

Existentiële kwantor

De symbool $\displaystyle \forall$ betekent 'er bestaat'. Het toont aan dat er ten minste één element is waarvoor de uitspraak geldt.

Waarheidstabel

Een tabel die alle mogelijke waarheidswaarden van proposities weergeeft en hun logische resultaten.

Legitimiteit van predicaten

Een predicaat is legitiem als het geldig is voor de gespecificeerde domeinen en contexten.

Logische implicatie

Als $\displaystyle P$ waar is, dan is $\displaystyle Q$ ook waar. Dit wordt genoteerd als $\displaystyle P ightarrow Q$.

Formule van predicatenlogica

Een combinatie van predikaten, kwantoren en logische operatoren die een uitspraak vormt.

Tautologie

Een uitspraak die altijd waar is, ongeacht de waarheidswaarden van de betrokken proposities.

Tevens waar of niet waar

Een uitspraak is niet waar als er minstens één geval is waarin de uitspraak niet klopt.

Universum van discursie

De verzameling van alle objecten waarover we beweren. Dit definieert de context voor predikaten.

Predikaatlogica versus propositionele logica

Predikaatlogica omvat variabelen en kwantoren, terwijl propositionele logica zich richt op hele uitspraken.

Negatie van een predicaat

De negatie van een predicaat verandert de waarde, bijvoorbeeld $ eg P$\displaystyle is waar als$P$ niet waar is.

De modus ponens

Een redeneringstechniek die stelt: als $\displaystyle P ightarrow Q$ en $\displaystyle P$ waar is, dan is $\displaystyle Q$ ook waar.

Quantificatie

Het proces van het toepassen van kwantoren op predikaten om de reikwijdte van de uitspraken te definiëren.

Toepassing van predicatenlogica

Hulpmiddel in formele redenering, programmeren en wiskundige logica.

Voorbeeld van een predikaat

Laat $\displaystyle P(x)$ de eigenschap 'x is een leerling' zijn. Dan is $\displaystyle P(John)$ waar als John een leerling is.

Wat is een universele kwantor?

Een universele kwantor, aangeduid met ∀, duidt op de betekenis 'voor alle'. Het geeft aan dat een uitspraak waar is voor elke waarde binnen het domein.

Vul de lege plek in: ∀x (P(x) → Q(x)) betekent ____.

Voor elke x, als P(x) waar is, dan is Q(x) ook waar.

Wat is een existentiële kwantor?

Een existentiële kwantor, aangeduid met ∃, duidt op de betekenis 'er bestaat'. Het geeft aan dat er ten minste één waarde binnen het domein is waarvoor de uitspraak waar is.

Vergelijk universele en existentiële kwantoren.

Universele kwantor (∀): geldig voor alle elementen. Existentiële kwantor (∃): geldig voor ten minste één element.

Wanneer gebruik je een existentiële kwantor?

Bij het formuleren van uitspraken die aangeven dat er minstens één element in het domein voldoet aan een bepaalde eigenschap.

Is de uitspraak ∀x P(x) altijd waar?

Onjuist. ∀x P(x) is alleen waar als P(x) waar is voor elk x in het domein.

Wat betekent ∃x (P(x) ∧ Q(x))?

Er bestaat een x waarvoor zowel P(x) als Q(x) waar zijn. Dit vereist dat beide voorwaarden tegelijk gelden.

Wat is een kwantorformule?

Een formule die kwantoren bevat, zoals ∀ of ∃, en een predicaat die de relatie tussen variabelen beschrijft.

Geef een voorbeeld van een universele uitspraak.

∀x (x > 0 → x^2 > 0). Voor elke x geldt dat als x groter is dan 0, x in het kwadraat ook groter is dan 0.

Wat betekent de uitspraak ∀x ∃y P(x, y)?

Voor elke x bestaat er een y zodat P(x, y) waar is. Dit betekent dat voor elke waarde van x er een bijbehorende waarde van y is.

Wat is een negatieve kwantor?

Een negatieve kwantor, zoals ∀x ¬P(x), betekent dat voor alle x P(x) niet waar is. Het ontkent de eigenschap voor alle elementen.

Wat is de betekenis van ¬∃x P(x)?

Het betekent dat er geen x is waarvoor P(x) waar is. Dit is equivalent aan ∀x ¬P(x).

Waarom zijn kwantoren belangrijk in de logica?

Ze helpen bij het formuleren van uitspraken over verzamelingen en begrippen die afhankelijk zijn van variabelen binnen een domein.

Geef een voorbeeld waar ∀ en ∃ samen worden gebruikt.

∀x ∃y (y > x). Voor elke x is er een y dat groter is dan x. Dit laat zien dat er altijd een groter getal bestaat.

Wat is de relatie tussen kwantoren en verzamelingen?

Kwantoren drukken uitspraken uit over de elementen in verzamelingen, zoals de eigenschap dat alle of sommige elementen een bepaalde voorwaarde vervullen.

Wat betekent de uitspraak ∀x (P(x) ∨ Q(x))?

Voor elke x geldt dat P(x) waar is of Q(x) waar is. Dit betekent dat ten minste één van de twee voorwaarden voor elk element geldt.

Wat is een relatie in de predicatenlogica?

Een relatie is een verzameling koppels van elementen die aan elkaar gerelateerd zijn. Bijvoorbeeld: de relatie 'is ouder dan' tussen personen.

Definieer een functie in de logica.

Een functie koppelt elk element uit een domein aan precies één element in een codomein, bijvoorbeeld: $\displaystyle f(x) = x + 1$.

Is een functie altijd een relatie?

Waar. Elke functie is een specifieke soort relatie, waarbij elk element precies één afbeelding heeft.

Geef een voorbeeld van een binaire relatie.

De relatie 'is aangrenzend aan' tussen steden is een binaire relatie, omdat deze twee elementen verbindt.

Vul de lege plekken in: Een relatie is ________ als voor elk element in de relatie slechts één ander element bestaat.

Een relatie is functioneel.

Wat betekent het dat een relatie reflexief is?

Een reflexieve relatie bevat voor elk element $\displaystyle a$ de koppeling $\displaystyle (a, a)$. Voorbeeld: 'is gelijk aan'.

Vergelijk een functie met een niet-functionele relatie.

Een functie koppelt elke input aan één output; een niet-functionele relatie kan meerdere outputs voor dezelfde input hebben.

Wat zijn domein en codomein?

Domein is de verzameling invoerelementen; codomein is de verzameling mogelijke uitvoerelementen.

Is de relatie 'is een broeder van' symmetrisch?

Waar. Als $\displaystyle a$ een broeder van $\displaystyle b$ is, dan is $\displaystyle b$ ook een broeder van $\displaystyle a$.

Wat is een samengestelde relatie?

Een samengestelde relatie is het resultaat van het combineren van twee relaties, bijvoorbeeld: 'is een vriend van' en 'is een collega van'.

Vul de lege plekken in: Een relatie is __________ als het voor elk element $\displaystyle a$ geldt dat $\displaystyle (a, b)$ en $\displaystyle (b, a)$ bestaat.

Een relatie is symmetrisch.

Geef een voorbeeld van een niet-symmetrische relatie.

De relatie 'is ouder dan' is niet-symmetrisch, omdat als $\displaystyle a$ ouder is dan $\displaystyle b$, $\displaystyle b$ niet ouder is dan $\displaystyle a$.

Wat is de transitive eigenschap van een relatie?

Een relatie is transitief als, als $\displaystyle a$ aan $\displaystyle b$ gerelateerd is en $\displaystyle b$ aan $\displaystyle c$, dan is $\displaystyle a$ aan $\displaystyle c$ gerelateerd.

Is de relatie 'is groter dan' transitief?

Waar. Als $\displaystyle a > b$ en $\displaystyle b > c$, dan volgt $\displaystyle a > c$.

Wat zijn de kenmerken van een totale orde?

Een totale orde is een binaire relatie die antisymmetrisch, transitief en totaal is. Bijvoorbeeld: de relatie op reële getallen.

Wat is een partiële functie?

Een partiële functie is een functie die niet voor elk element in het domein een waarde in het codomein toekent.