[์ด์ฐ์ํ] Chapter 1. Logic and proofs
1. Propositions : ๋ช
์ - ๋ง์ฝ p, q๊ฐ ๋ช
์ ๋ผ๋ฉด, connective๋ฅผ ์ด์ฉํด ์๋ก์ด compound proposition์ ๋ง๋ค ์ ์๋ค. (conjunction AND, inclusive disjunction OR, exclusive disjunction OR(XOR), negation, implication, double implication) 2. Conditional propositions(์กฐ๊ฑด๋ช
์ ) and logical equivalence(๋์น) - conditional proposition : p->q "if p then q", "p only if q" p : ๊ฐ์ , ์ถฉ๋ถ์กฐ๊ฑด / q : ๊ฒฐ๋ก , ํ์์กฐ๊ฑด - logically equivalent (converse(์ญ), co..
[์ด์ฐ์ํ] Chapter 3. Relations
1. Relations - ์ฃผ์ด์ง ์งํฉ X, Y์์ Cartesian product X x Y ๋ฅผ ํ๋ฉด ๊ทธ ๊ฒฐ๊ณผ๋ x∈X, y∈Y์ธ (x, y)์ ๋ชจ๋ ordered paris ์ด๋ค. X x Y = {(x,y) | x∈X and y∈Y} -Binary relation (์ด์ง ๊ด๊ณ) : ๋ ์งํฉ์ ์์ ์ฌ์ด์ ๊ด๊ณ ์งํฉ X ์์ ์งํฉ Y ๋ก์ binary relation R์, Cartesian product X x Y ์ subset(๋ถ๋ถ์งํฉ)์ด๋ค. Ex) X = { 1, 2, 3 } and Y = { a, b } R = {(1, a), (1, b), (2, b), (3, a)} ๋ X์ Y ์ฌ์ด์ relation์ด๋ค. - Domain : y∈Y์ธ y์ ๋ํ์ฌ (x, y)๊ฐ relation R์ ์ํ ๋..