College 9 Flashcards
Wat is het bereik van een kwantor?
Alles wat achter de kantoor staat. De scope van de kwantor. Onder de formule in de constructieboom
Wat is binding?
Een variabele is vrij als ze niet in het bereik van een kwantor staat. In het bereik van de kwantor is de variabele gebonden.
Wat is het domein van interpretatie?
De verzameling van individuen waarover we in een bepaalde context spreken. Een kwantor kwantificeert over het domein (het gaat erover). Een domein is een verzamenling entiteiten en dat domein kan beperkt zijn. Maar…. het domein mag niet leeg zijn en alle individuconstanten moeten ergens naar kunnen verwijzen. In de logische taal moet het domein vermeld worden.
Wat zijn variabelen?
Het zijn hulpsymbolen die de plaatsigheid aangeven.
Wat is een zin?
Een formule zonder open variabelen.
