
1.7 Logic Symbols
(Continued)
Symbols How to Read It How to Use It Examples
A~B symmetric difference objects that belong to A
or B but not to their
intersection
A 5 {3,9,14}, B 5 {1,2,3},
A~B 5 {1,2,9,14}
aAA element of set membership A 5 {3,9,14}, 3AA
x =2A not element of no set membership A 5 {3,9,14}, 1 =2A
(a,b) ordered pair collection of two
elements
A 3 B Cartesian product set of all ordered pairs
from A and B
jAj cardinality the number of elements
of set A
A 5 {3,9,14}, jAj5 3
#A cardinality the number of elements
of set A
A 5 {3,9,14}, #A 5 3
aleph-null infinite cardinality of
natural numbers set
aleph-one cardinality of
countable ordinal
numbers set
Ø empty ...