|
Mængdelære og
logik
| Symbol |
Betydning |
Eksempel |
| {.,.,.,.} |
mængde, hvis elementer opregnes |
{6, 5, 2, -5} , {5, 10, 15, 20} |
| {xÎE½p(x)} |
mængden af de elementer x i mængden E, for
hvilken udsagnet p(x) er sandt |
{xÎR½x
]
1} |
|
Î |
er element i |
a
Î
A
|
| Ï |
er ikke element i |
a Ï
A |
| ' |
indeholder som element |
a '
A |
| Í |
er delmængde af |
a Í
B |
| Ê |
indeholder som delmængde |
a Ê
B |
| Ì |
er ægte delmængde af |
a Ì
B |
| É |
indeholder som ægte delmængde |
a É
B |
| Ç |
fællesmængde |
A Ç
B |
| È |
foreningsmængde |
A È
B |
| С |
komplementærmængde |
СA |
| Æ |
den tomme mængde |
- |
| E |
universet, grundmængden |
- |
| G |
grundmængden |
- |
| (.,.,.,.) |
ordnet elementsæt |
(a, b) |
| ´ |
mængdeprodukt, kartesisk produkt |
A´B
= {(a, b½aÎA,
bÎB} |
| Ù |
konjunktion, "og" |
pÙq |
| Ú |
disjunktion, "eller" |
pÚq |
| Ø,
non, ', ~,
- |
negation, "ikke" |
Øp
(eller non p eller p' eller ~p) |
| Þ |
implikation, "medfører" |
p Þ
q |
| Û |
biimplikation, dobbeltimplikation,
"ensbetydende med" |
p Û
q |
| " |
alkvantor, "for alle" |
"
xÎR
(x2 ]
0) |
| $ |
eksistenskvantor, "der eksisterer" |
$
xÎR
(10x = 7) |
|