Natural number

(a)  

Integer

(a)  

Z

(a)  

Q

(a)  

R

(a)  

C

(a)  

Ø

(a)  

U

(a)  

n

(a)  

€

(a)  

X

(a)  

/

(a)  

Such that

(a)  

Cartesian product

(a)  

Intersection set

(a)  

Union set

(a)  

Null set/empty set

(a)  

Complex number

(a)  

Real number

(a)  

GCD

(a)  

Greatest common division

(a)  

LCM

(a)  

Least common multiple

(a)  

~A

(a)  

~E

(a)  

Equality I

(a)  

S.t

(a)  

BWOC

(a)  

By way of contradiction

(a)  

WLOG

(a)  

TFAE

(a)  

We want to show

(a)  

QED

(a)  

End of proof

(a)  

WWTS

(a)  

Is a declarative sentences that is true or false but no both

(a)  

Is a statement which results from the application of 1 or more logical connectives.

(a)  

Is a mechanism for determining the truth values of compound statement .

(a)  

Not reverse the truth values

(a)  

~

(a)  

(not,~)

(a)  

An and are truth when bothsides are true.

(a)  

(and,^)

(a)  

Conjuction

(a)  

Disjunction

(a)  

(or,↓)

(a)  

An or is false only when both side are false

(a)  

An if-then statement is false only when the hypothesis false but the conclusion failed.

(a)  

Implication

(a)  

(if-then,→)

(a)