100% satisfaction guarantee Immediately available after payment Both online and in PDF No strings attached 4.6 TrustPilot
logo-home
Summary

Samenvatting Hoofdstuk 1: Inleidende Begrippen

Rating
3.0
(1)
Sold
30
Pages
8
Uploaded on
27-07-2022
Written in
2020/2021

Dit is de samenvatting van het eerste hoofdstuk van het vak Discrete Wiskunde. In deze samenvatting werd zowel alle informatie uit de slides als bijkomende informatie uit eigen notities en de cursustekst opgenomen.

Institution
Course









Whoops! We can’t load your doc right now. Try again or contact support.

Written for

Institution
Study
Course

Document information

Uploaded on
July 27, 2022
Number of pages
8
Written in
2020/2021
Type
Summary

Subjects

Content preview

Hoofdstuk 1: Inleidende begrippen
Logica
Wiskunde is opgebouwd uit logische redeneringen. Wij gebruiken de taal en notatie van de
predicatenlogica om redeneringen neer te schrijven.
• Propositie: een bewering p die ofwel waar, ofwel onwaar is.
• Conjunctie: p ∧ q (”p en q”) en Disjunctie: p ∨ q (”p of q”)
• Implicatie: p ⇒ q (“Als p dan q”)
o Voorbeeld. “x is deelbaar door 10 ⇒ x is even”
• Equivalentie: p ⇔ q (“p is equivalent met q”) betekent (p ⇒ q) ∧ (q ⇒ p)
o Voorbeeld. “n2 even ⇔ n even”
• Negatie: ¬p
o Voorbeeld. “Het regent niet.”
Opmerking:
De negatie van de implicatie is niet hetzelfde als contrapositie!

• Negatie van de implicatie: ¬(p ⇒ q) is equivalent met p ∧ ¬q
• Contrapositie van de implicatie: p ⇒ q is equivalent met ¬q ⇒ ¬p
• Voorbeeld. Om te bewijzen dat “n 2 even ⇒ n even” is het gemakkelijker te bewijzen
dat “n oneven ⇒ n 2 oneven”.

Verzamelingen
Verzamelingen laten toe alle (wiskundige) objecten met dezelfde kenmerken te groeperen of
te verzamelen. Een object uit een gegeven verzameling heet een element.
Voorbeelden

• De verzameling priemgetallen groepeert alle positieve gehele getallen die juist twee
verschillende delers bezitten.
• N = {0, 1, 2, . . .}: de natuurlijke getallen
• Z = {. . . , −3, −2, −1, 0, 1, 2, . . .}: de gehele getallen
• Q = { a/b | a, b ∈ Z ∧ b 6= 0}: de rationale getallen
• R = de reële getallen
• C = {a + bi | a, b ∈ R}: de complexe getallen
N, Z, Q = discrete verzamelingen
R, C = continue verzamelingen

Kwantoren
Sommige uitspraken of eigenschappen zijn geldig voor alle objecten in een gegeven
verzameling. Om dit te noteren gebruiken we de kwantor “voor alle”: ∀.
Voorbeeld. ∀ x ∈ R : x 2 ≥ 0

Het dubbelpunt “:” betekent in een logische uitspraak “geldt”.


1

, Er is ook een kwantor “er bestaat” indien men wil zeggen dat een eigenschap geldt voor
minstens een element in een gegeven verzameling.
Voorbeeld. ∃ x ∈ R : x 2 = x.
Soms wil men benadrukken dat er slechts een element bestaat met de gegeven eigenschap.

Voorbeeld. ∃! 𝑥 ∈ ℝ+ 2
0 ∶ 𝑥 =𝑥

De volgorde van kwantoren heeft belang! Bijvoorbeeld

∀ 𝑥 ∈ ℝ ∶ ∃ 𝑦 ∈ ℝ+ : 𝑥 2 = 𝑦
is waar, terwijl

∃ 𝑦 ∈ ℝ+ ∶ ∀ 𝑥 ∈ ℝ ∶ 𝑥 2 = 𝑦
onwaar is.
Negaties van uitspraken zijn zeer belangrijk. Denk bijvoorbeeld aan het bewijs door
contrapositie.

De negatie van ∀ x ∈ X : p(x) is ∃ x ∈ X : ¬p(x) en de negatie van ∃ x ∈ X : p(x) is ∀ x ∈ X :
¬p(x).

Deelverzamelingen
Indien elk element van een verzameling A ook behoort tot een verzameling B, zeggen we dat
A een deelverzameling is van B of dat B de verzameling A omvat.
Symbolisch:
𝐴⊂𝐵⇔∀𝑎∈𝐴∶𝑎∈𝐵

Ook steeds

• 𝐵⊂𝐵
• 𝜙⊂𝐵
Alle andere deelverzamelingen van B noemen we echte deelverzamelingen van B.
Twee verzamelingen A en B zijn gelijk indien ze dezelfde elementen hebben.
Symbolisch:
(𝐴 ⊂ 𝐵) ∧ (𝐵 ⊂ 𝐴)

Gevolg:
𝐴 ≠ 𝐵 ⇔ (𝐴 ⊄ 𝐵) ∨ (𝐵 ⊄ 𝐴)
De verzameling van alle deelverzamelingen van een gegeven verzameling X noteren we
𝒫(𝑋).

Bewerkingen met verzamelingen
A ∩ B = {x ∈ A | x ∈ B} : Doorsnede
A ∪ B = {x | (x ∈ A) ∨ (x ∈ B)} : Unie
A \ B = {x | (x ∈ A) ∧ (x ∉ B)} : Verschil

2
Free
Get access to the full document:
Download

100% satisfaction guarantee
Immediately available after payment
Both online and in PDF
No strings attached


Also available in package deal

Reviews from verified buyers

Showing all reviews
11 months ago

3.0

1 reviews

5
0
4
0
3
1
2
0
1
0
Trustworthy reviews on Stuvia

All reviews are made by real Stuvia users after verified purchases.

Get to know the seller

Seller avatar
Reputation scores are based on the amount of documents a seller has sold for a fee and the reviews they have received for those documents. There are three levels: Bronze, Silver and Gold. The better the reputation, the more your can rely on the quality of the sellers work.
lennyS Vrije Universiteit Brussel
Follow You need to be logged in order to follow users or courses
Sold
163
Member since
5 year
Number of followers
62
Documents
34
Last sold
1 month ago

4.5

6 reviews

5
4
4
1
3
1
2
0
1
0

Recently viewed by you

Why students choose Stuvia

Created by fellow students, verified by reviews

Quality you can trust: written by students who passed their tests and reviewed by others who've used these notes.

Didn't get what you expected? Choose another document

No worries! You can instantly pick a different document that better fits what you're looking for.

Pay as you like, start learning right away

No subscription, no commitments. Pay the way you're used to via credit card and download your PDF document instantly.

Student with book image

“Bought, downloaded, and aced it. It really can be that simple.”

Alisha Student

Frequently asked questions