Mønsterplanen 1971 · midlertidig utgave, s. 164 (skann 166)

164 Forklaring — kommentar Symbol Lesemåte Symbolet er et negasjonssymbol, og brukes i forbindelse med utsagn/åpne utsagn. «ikke» Uttrykker en implikasjon mellom to utsagn. Symbolet brukes også i sammensatte åpne utsagn. o biimpliserer, hvis og bare Uttrykker en biimplikasjon mellom to utsagn, hvis, er ensbetydende med Symbolet brukes også i sammensatte åpne utsagn. def. definert som o ensbetydende med V for alle . . for hvert . . Allkvantor. Brukes for å vise at et åpent utsagn er sant/ør hvert element i en gitt mengde. Eks.: (VxGN) (x 2 >o). 3 det fins , Eksistenskvantor. Brukes for å vise at et åpent ut- det eksisterer sagn er sant for minst ett element i en gitt grunn- mengde. Eks.: (3xGN) (x>3). => impliserer, medfører, hvis , så « Mengdelære: { } mengden av Mengdesymbol. Brukes når mengdene kan gis ved : 1) Fullstendig listeform: {1,2,3} 2) Ufullstendig listeform: {1,2,3,4,.. .,10} 3) Uendelig mengde: {1,2,3,4,... } E, (£ er element i , er ikke element i Elementsymbolet G. Brukes for å uttrykke at et element er med i en mengde. tilhører, tilhører ikke Eks.: 3 GA, a GM. Ikke-elementsymbolet $. Brukes for å uttrykke at et element ikke er med i en mengde. Eks.: 5$ A, x $M. {- - 1- - } mengden av de ... som er slik at Mengdebygger. Brukes for å formulere løsnings- mengden til et åpent utsagn. Eks.: {xGE|x<s}. Leses slik: mengden av de x som er element i E, og som er slik at x er mindre enn 5. Q den tomme mengde £ $ er delmengde av er ikke delmengde av A£B ( Vx) (xGA^xGB) AsB (3 x) (xGAax^B) c er ekte delmengde av Acß AcßaA+B

Mønsterplanen 1971 · midlertidig utgave s. 164 skann 166

Siter