14 Representasjon av kvantifiserte utsagn Flashcards
1
Q
14.1 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
14.2 Frie variabler og lukkede formler
A
En variabelforekomst i en førsteordens formel er fri hvis den ikke er bundet, det vil si hvis den ikke er innenfor skopet til en kvantor. En formel er lukket hvis den ikke inneholder noen frie variabler.
