Negatief polaire uitdrukkingen I* - Keur der Wetenschap ...
Negatief polaire uitdrukkingen I* - Keur der Wetenschap ...
Negatief polaire uitdrukkingen I* - Keur der Wetenschap ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
we M voor het gemak met het geordende paar <br />
vereenzelvigen. On<strong>der</strong> een kwantor Q op M verstaan we een<br />
collectie deelverzamelingen van E. Van nu af aan verwijst de<br />
term kwantor dus niet langer naar een verzameling <strong>uitdrukkingen</strong><br />
van de taal, maar naar de interpretaties van die <strong>uitdrukkingen</strong><br />
met betrekking tot een model. De interpretatiefunctie [ ] voegt<br />
aan een gegeven nominale constituent een kwantor Q op M als<br />
waarde toe. De definities in (63) leggen voorlopig vast welke<br />
interpretaties nominale constituenten die een voorkomen van<br />
een, geen, alle, niet alle, alleen of niet alleen bevatten,<br />
toegewezen krijgen. Daarbij moet voor ogen gehouden worden<br />
dat N een uitdrukking van de categorie naamwoord is en [N] ⊆<br />
E.<br />
(63)<br />
a. [een N] = {X ⊆ E | X ∩ [N] ≠ Ø}<br />
b. [geen N] = {X ⊆ E | X ∩ [N] = Ø}<br />
c. [alle N] = {X ⊆ E | X ∩ [N] = [N]}<br />
d. [niet alle N] = {X ⊆ E | X ∩ [N] ≠ [N]}<br />
e. [alleen N] = {X ⊆ E | X ∩ [N] = X}<br />
f. [niet alleen N] = {X ⊆ E | X ∩ [N] ≠ X}<br />
Voor nominale constituenten die een voorkomen van<br />
enkele of één van de telwoorden bevatten, gelden voorlopig de<br />
definities in (64), waar n als een uitdrukking van de categorie<br />
telwoord moet worden opgevat en n een kardinaal getal is.<br />
(64)<br />
a. [enkele N] = {X ⊆ E | kard (X ∩ [N]) ≥ 2}<br />
b. [(precies) n N] = {X ⊆ E | kard (X ∩ [N]) = n}<br />
[p. 53]<br />
c. [hoogstens n N] = {X ⊆ E | kard (X ∩ [N]) ≤ n}<br />
d. [minstens n N] = {X ⊆ E | kard (X ∩ [N]) ≥ n}<br />
Merk op dat met kard (X) het kardinale getal van de<br />
verzameling X wordt aangeduid. Bevat een nominale constituent<br />
een voorkomen van de, beide, geen van beide of sommige, dan<br />
zijn voorlopig de definities in (65) van kracht 12) .<br />
(65)<br />
a. [de n N] = [alle N] indien kard ([N]) = n<br />
ongedefinieerd in alle an<strong>der</strong>e gevallen<br />
http://www.dbnl.nl/tekst/zwar007nega01/zwar007nega01_001.htm<br />
20 of 104 31-3-2005 8:22