Shreyas’ Notes

Elements of Analysis

MATH 302

spring, freshman year

a statement is a sentence that is either true or false.

[see the comp182 logic section]

ABA \rightarrow B

Disjoined conclusions §

[see the comp182 logic section]

P(QR)P \rightarrow (Q \vee R)

Sets §

[see the comp182 sets section]

Indexed families of sets §

xn=1SnnxN:xSnxx \in \bigcup_{n=1}^{\infty} S_n \leftrightarrow \exists n_x \in \mathbb{N} : x \in S_{n_x}

xn=1SnnN:nSnxx \in \bigcap_{n=1}^{\infty} S_n \leftrightarrow \forall n \in \mathbb{N} : n \in S_{n_x}