14 Representasjon av kvantifiserte utsagn Flashcards
1
Q
predikat
A
Et predikat er et uttrykk som inneholder en eller flere plassholdere og som blir sant eller usant når vi erstatter plassholderne med verdier.
2
Q
frie variabler og lukkede formler
A
En variabelforekomst i en førsteordens formel er fri (eng: free) hvis den ikke er bundet (eng: bound), det vil si hvis den ikke er innenfor skopet (eng: scope) til en kvantor. En formel er lukket (eng: closed) hvis den ikke inneholder noen frie variabler.
