♟
Predikaatlogica: Taal
Type HOC
Class Logica en formele systemen
Cursus
Les 7
📌 SUMMARY: Predikaatlogica is een uitbereiding van propositielogica.
Om eigenschappen van individuen te beschrijven en erover te redeneren
Introductie van kwantoren
📺 Predikaat Logica
https://www.youtube.com/watch?v=h5UTvdcgFHw&ab_channel=TrevTutor
https://www.youtube.com/watch?v=f1aRGfxCS50&ab_channel=WiskundemetBobPruiks
ma
https://www.youtube.com/watch?v=UroprmQHTLc&t=25s&ab_channel=MITOpenCourse
Ware
De bouwstenen:
Predikaatzinnen
Predikaten worden voorgesteld via predikaatletters (hoofdletters) met vast aantal argumenten (volgorde
is belangrijk!)
Individuen worden voorgesteld via constanten (kleine letters)
Kwantoren: uitdrukkingen van hoeveelheid.
Predikaatlogica: Taal 1
Predikaatlogica: Taal
Type HOC
Class Logica en formele systemen
Cursus
Les 7
📌 SUMMARY: Predikaatlogica is een uitbereiding van propositielogica.
Om eigenschappen van individuen te beschrijven en erover te redeneren
Introductie van kwantoren
📺 Predikaat Logica
https://www.youtube.com/watch?v=h5UTvdcgFHw&ab_channel=TrevTutor
https://www.youtube.com/watch?v=f1aRGfxCS50&ab_channel=WiskundemetBobPruiks
ma
https://www.youtube.com/watch?v=UroprmQHTLc&t=25s&ab_channel=MITOpenCourse
Ware
De bouwstenen:
Predikaatzinnen
Predikaten worden voorgesteld via predikaatletters (hoofdletters) met vast aantal argumenten (volgorde
is belangrijk!)
Individuen worden voorgesteld via constanten (kleine letters)
Kwantoren: uitdrukkingen van hoeveelheid.
Predikaatlogica: Taal 1