[์ด์ฐ์ํ] 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..