์ด์ฐ ์ํ
-
์ด์ฐ ์ํ ๋ช ์ ํจ์์ ํ์ ์
๋ช ์ ํจ์์ ํ์ ์ ๋ช ์ ์ ์ ์์ ๋ฐ๋ผ ์ x>10 ์ x ๊ฐ์ด ์ ํด์ง์ง ์์์ผ๋ฏ๋ก ์ง๋ฆฟ๊ฐ์ ํ๋ณํ ์ ์์ด ๋ช ์ ๊ฐ ์๋๋ค. ๊ทธ๋ฌ๋ x ์ ๊ฐ์ด๋ ๋ฒ์๊ฐ ์ฃผ์ด์ง๋ค๋ฉด ์ง๋ฆฟ๊ฐ์ ํ๋ณํ ์ ์์ผ๋ฏ๋ก ๋ช ์ ๊ฐ ๋ ์ ์๋ค. ์ด์ ๊ฐ์ด ๋ฒ์๊ฐ ์ฃผ์ด์ง ๋ณ์๋ฅผ ํฌํจํ๋ ๋ช ์ ๋ฅผ ๋ช ์ ํจ์๋ผ ํ๊ณ , ์ฃผ์ด์ง ๋ฒ์๋ฅผ ๋ ผ์ ์์ญ์ด๋ผ๊ณ ํ๋ค. ๋ช ์ ํจ์(Propositional Function : P(x)) ๋ ผ์ ์์ญ์ด ์ฃผ์ด์ง ๋ณ์ x ๋ฅผ ํฌํจํ์ฌ ์ง๋ฆฟ๊ฐ์ ํ๋ณํ ์ ์๋ ๋ฌธ์ฅ์ด๋ ์์ ๋ ผ์ ์์ญ(Domain of Discource : D) ๋ช ์ ํจ์์ ํฌํจ๋ ๋ณ์ x ์ ๋ฒ์๋ ๊ฐ ๋ช ์ ํจ์๋ ์ผ๋ฐ์ ์ผ๋ก P,Q,R,codts ๊ณผ ๊ฐ์ ๋๋ฌธ์์ ๋ช ์ ํจ์์ ํฌํจ๋ ๋ณ์๋ฅผ ํจ๊ป ํ์ํ๋ค. ๋ช ..
0 2022.10.07 -
์ด์ฐ ์ํ ๋ ผ๋ฆฌ์ ๋์น
๋ ผ๋ฆฌ์ ๋์น ํฉ์ฑ ๋ช ์ ๋ ํ๋ ์ด์์ ๋จ์ ๋ช ์ ๋ฅผ ๋ ผ๋ฆฌ ์ฐ์ฐ์๋ก ๊ฒฐํฉํ ํํ์ด๋ฏ๋ก ๋ณต์กํ ํํ์ผ ์๋ ์๋ค. ํฉ์ฑ ๋ช ์ ๊ฐ ๋ณต์กํ๋ค๋ ๊ฒ์ ์ปดํจํฐ ์์คํ ์์ ํํํ๊ณ ์ฐ์ฐํด์ผ ํ๋ ๋ ผ๋ฆฌ ์ฐ์ฐ์ ์๊ฐ ๋ง์์ ์๋ฏธํ๋ค. ์ด๋ ๊ฒ ๋ง์ ๋ ผ๋ฆฌ ์ฐ์ฐ์ผ๋ก ๋ณต์กํ๊ฒ ํํ๋ ํฉ์ฑ ๋ช ์ ๋ฅผ ์ง๋ฆฟ๊ฐ์ด ๊ฐ์ผ๋ฉด์ ๋จ์ํ ๋ ผ๋ฆฌ ์ฐ์ฐ์ผ๋ก ํํ๋ ํฉ์ฑ ๋ช ์ ๋ก ๋์ฒดํ๋ค๋ฉด, ์ปดํจํฐ ์์คํ ์์๋ ๊ฐ์ ๊ฒฐ๊ณผ๋ฅผ ๋ด๋ฉด์ ๊ฐ๋จํ๊ณ ๋น ๋ฅด๊ฒ ํํํ๊ณ ์ฐ์ฐํ ์ ์์ ๊ฒ์ด๋ค. ๋ ผ๋ฆฌ์ ๋์น(Logically Equivalence : PโกQ) ๋ ํฉ์ฑ ๋ช ์ P ์ Q ์ ์ง๋ฆฟ๊ฐ์ด ์๋ก ๊ฐ์ ๊ฒฝ์ฐ ๋ ํฉ์ฑ ๋ช ์ P,Q ์ ๋ํ์ฌ PโกQ ์ผ ๋ 'ํฉ์ฑ ๋ช ์ P ์ Q ๋ ๋์น์ด๋ค' ๋๋ 'ํฉ์ฑ ๋ช ์ P ์ Q ๋ ๊ฐ๋ค'..
1 2022.10.03 -
์ด์ฐ ์ํ ํฉ์ฑ ๋ช ์
ํฉ์ฑ ๋ช ์ ๋ ผ๋ฆฌ ์ฐ์ฐ์์ ์ฐ์ ์์ ํฉ์ฑ ๋ช ์ ๋ ํ๋ ์ด์์ ๋จ์ ๋ช ์ ๋ฅผ ๋ ผ๋ฆฌ ์ฐ์ฐ์๋ก ๊ฒฐํฉํ ๋ช ์ ๋ฅผ ๋งํ๋ค. ํฉ์ฑ ๋ช ์ ์ ์ง๋ฆฟ๊ฐ์ ๊ฐ ๋จ์ ๋ช ์ ์ ์ง๋ฆฟ๊ฐ์ ๋ฐ๋ผ ๋ฌ๋ผ์ง์ง๋ง, ๋ ผ๋ฆฌ ์ฐ์ฐ์์ ์ฐ์ฐ ์์ ๋ํ ์ง๋ฆฟ๊ฐ์ ๊ฒฐ์ ํ๋ ๋ฐ ์ํฅ์ ๋ฏธ์น๋ค. ์ฐ์ ์์ ๋ ผ๋ฆฌ ์ฐ์ฐ์ 1 ยฌ 2 โง 3 โจ 4 โ 5 โ ํฉ์ฑ ๋ช ์ ์์ ๊ดํธ๋ก ๋ฌถ์ ์ฐ์ฐ์ ๋จผ์ ํด์ผ ํ๋ค. ์) (ยฌpโจq)โงr โจ ๊ฐ โง ๋ณด๋ค ์ฐ์ ์์๊ฐ ๋ฎ์ง๋ง, โจ ๋ ๊ดํธ ์์ ์ฐ์ฐ์ด๋ฏ๋ก ยฌp ์ q ๋ฅผ โจ ์ฐ์ฐํ ํ r ๊ณผ โง ์ฐ์ฐํ๋ค. ๊ทธ๋ฌ๋ฏ๋ก ํฉ์ฑ ๋ช ์ (ยฌpโจq)โงr ๊ณผ $\neg p \l..
0 2022.10.02 -
์ด์ฐ ์ํ ์กฐ๊ฑด ๋ช ์
์กฐ๊ฑด ๋ช ์ ์ ๊ธ์์ ํฉ์ฑ ๋ช ์ ๋ฅผ ๊ตฌ์ฑํ๋ ๋จ์ ๋ช ์ ์ ๋ํด ์ด๋ค ์ญํ ์ ๋ถ์ฌํ์ง ์์๋ค. ๊ทธ๋ฌ๋ ๋จ์ ๋ช ์ ์ ์ญํ ์ ๋ถ์ฌํด ๊ทธ ๋จ์ ๋ช ์ ์ ์ญํ ์ด ๋ฌด์์ด๋์ ๋ฐ๋ผ ์ง๋ฆฟ๊ฐ์ด ๊ฒฐ์ ๋๋ ํฉ์ฑ ๋ช ์ ๊ฐ ์๋๋ฐ, ์กฐ๊ฑด ๋ช ์ ๊ฐ ์ด์ ํด๋นํ๋ค. ์กฐ๊ฑด ๋ช ์ (Conditional Proposition : pโq) / ํจ์ถ(Implication) ๋ช ์ p,q ์ ๋ํ์ฌ, ๋ช ์ p ๊ฐ ์ ์ (Premise) ๋๋ ๊ฐ์ (Hypothesis)์ด๊ณ ๋ช ์ q ๊ฐ ๊ฒฐ๋ก (Conclusion) ๋๋ ๊ฒฐ๊ณผ(Consequence)์ธ ๋ช ์ '์ง๊ตฌ์ ์์ ์ถ์ด ๊ธฐ์ธ์ด์ ธ ์๋ค๋ฉด, ์ง๊ตฌ์ ๊ณ์ ์ ๋ฐ๋๋ค'๋ '์ง๊ตฌ์ ์์ ์ถ์ด ๊ธฐ์ธ์ด์ ธ ์๋ค(p)'์ ์ง๊ตฌ์๊ณ์ ์๋ฐ๋๋ค.(q)โฒ๋ผ๋๋๋ช ์ ๋ฅผ๊ฒฐํฉํํฉ์ฑ๋ช ์ ์ด๋ค.p`..
0 2022.10.02 -
์ด์ฐ ์ํ ๋ ผ๋ฆฌ ์ฐ์ฐ์
๋ ผ๋ฆฌ ์ฐ์ฐ์ ์ผ๋ฐ์ ์ผ๋ก ๋ช ์ ํ๋๋ฅผ ๋จ์ ๋ช ์ (Simple Proposition)๋ผ๊ณ ํ๋ค. ํ๋ ์ด์์ ๋จ์ ๋ช ์ ๋ฅผ ๋ถ์ , ๋ ผ๋ฆฌ๊ณฑ, ๋ ผ๋ฆฌํฉ, ๋ฒ ํ์ ๋ ผ๋ฆฌํฉ๊ณผ ๊ฐ์ ๋ ผ๋ฆฌ ์ฐ์ฐ์๋ก ๊ฒฐํฉํ๋ฉด ์๋ก์ด ํ๋์ ๋ช ์ ๊ฐ ๋๊ธฐ๋ ํ๋๋ฐ, ์ด๋ฅผ ํฉ์ฑ ๋ช ์ (Compound Proposition)๋ผ๊ณ ํ๋ค. ํฉ์ฑ ๋ช ์ (Compound Proposition) ํ๋ ์ด์์ ๋ช ์ ๋ค์ด ๋ ผ๋ฆฌ ์ฐ์ฐ์์ ์ํด ๊ฒฐํฉ๋ ๋ช ์ ํฉ์ฑ ๋ช ์ ๋ฅผ ๊ตฌ์ฑํ๋ ๋จ์ ๋ช ์ ์ ์ง๋ฆฟ๊ฐ๊ณผ ๋ ผ๋ฆฌ ์ฐ์ฐ์์ ๋ฐ๋ผ ํฉ์ฑ ๋ช ์ ์ ์ง๋ฆฟ๊ฐ์ ๋ฌ๋ผ์ง๋ค. ๊ทธ๋ฌ๋ฏ๋ก ํฉ์ฑ ๋ช ์ ์ ์ง๋ฆฟ๊ฐ์ ํ๋ณํ๊ธฐ ์ํด ์ง๋ฆฌํ(Truth Table)๋ฅผ ์ฌ์ฉํ๋ค. ์ง๋ฆฌํ(Truth Table) ํฉ์ฑ ๋ช ์ ๋ฅผ ๊ตฌ์ฑํ๋ ๋จ์ ๋ช ์ ์ ์ง๋ฆฟ๊ฐ์ ๋ฐ๋ฅธ ๋ ผ๋ฆฌ ์ฐ์ฐ ๊ฒฐ๊ณผ๋ฅผ ๋ํ๋ธ ํ โ ๋ถ์ (NOT : $\ne..
0 2022.10.02 -
์ด์ฐ ์ํ ๋ช ์
๋ช ์ ํ์ค ์ธ๊ณ๋ฅผ ๊ฐ๋ตํ๊ณ ์ ํํ๊ฒ ํ๋ณํ๋๋ก ํํํ ๋ฌธ์ฅ ์ํ์ ๋ ผ๋ฆฌ๋ฅผ ๊ตฌ์ฑํ๋ ๊ฐ์ฅ ๊ธฐ๋ณธ์ ์ธ ๋จ์ ๋ช ์ ๋ ๋๊ตฌ๋ ๊ฐ๊ด์ ์ผ๋ก ์ฐธ(T)๊ณผ ๊ฑฐ์ง(F)์ ๊ตฌ๋ถํ ์ ์์ด์ผ ํ๋ค. ์ง๋ฆฟ๊ฐ(Truth Value) ์ฐธ(True : T)์ด๋ ๊ฑฐ์ง(False : F)์ ๊ฐ๋ฆฌํค๋ ๊ฐ ๋ช ์ (Proposition) ๊ฐ๊ด์ ์ธ ๊ธฐ์ค์ผ๋ก ์ง๋ฆฟ๊ฐ์ ๊ตฌ๋ถํ ์ ์๋ ๋ฌธ์ฅ์ด๋ ์์ ์ผ๋ฐ์ ์ผ๋ก ๋ช ์ ๋ ์๋ฌธ ์๋ฌธ์ p,q,r,โฏ ๋ก ํํ ๋ช ์ ๋ ๊ฐ๊ด์ ์ผ๋ก ์ฐธ(T)๊ณผ ๊ฑฐ์ง(F)์ ๊ตฌ๋ถํ ์ ์๋ ๋ฌธ์์ด์ด์ผ ํ๋ค. ๋ช ์ ๊ฐ ์๋ ์ '์ง์ฅ๋ฉด์ ๋ง์๋ค.' ์ ๊ฐ์ ๋ฌธ์ฅ์ ์ฃผ๊ด์ ํ๋จ์ ๋ฐ๋ผ ๋ต์ด ๋ฌ๋ผ์ง ์ ์๋ ๋ฌธ์ฅ์ด๋ค. x+1=2 ์ ๊ฐ์ ์์ ๋ฏธ์ง์ x ๊ฐ์ ๋ฐ๋ผ ์ฐธ(T)๊ณผ ๊ฑฐ์ง(F)์ด ๋ฌ๋ผ์ง ์..
0 2022.10.02 -
์ด์ฐ ์ํ ์ปดํจํฐ์์์ ์์ ํํ๊ณผ ์ฐ์ฐ
์ปดํจํฐ์์์ ์์ ํํ๊ณผ ์ฐ์ฐ ์ปดํจํฐ์์์ ์ฐ์ฐ์ 2์ง์ ํํ๋ง์ผ๋ก๋ ๋ง์ ๊ณผ ๊ณฑ์ ์ฐ์ฐ๋ง ๊ฐ๋ฅํ๋ค. ์ปดํจํฐ๋ ๊ธฐ๋ณธ์ ์ธ 2์ง์ ํํ์ ๋ํ ๋ณด์(Complement) ํํ์ผ๋ก ๋ฐ๊ฟ์ ๋บ์ ๊ณผ ๋๋์ ์ฐ์ฐ์ ์ํํ๋ค. ๋ณด์(Complement) ๋ณด์ถฉํด์ฃผ๋ ์ ์ด๋ค ์ a ์ ๋ํ n ์ ๋ณด์๋ a ์์ ํฉ์ด n ์ด ๋๋ ์ ๊ธฐ์๊ฐ n ์ธ ์ด๋ค ์ a ์ ๋ํ n ์ ๋ณด์๋ n ์ผ๋ก๋ถํฐ a ๊น์ง ๋จ์ด์ง ๊ฑฐ๋ฆฌ๋ผ๊ณ ๋ ํ ์ ์๋ค. n ์ง์์์์ ๋ณด์๋ n ์ ๋ณด์์ n-1 ์ ๋ณด์๊ฐ ์กด์ฌํ๋ค. 10์ง์์๋ 10์ ๋ณด์์ 9์ ๋ณด์๊ฐ ์กด์ฌํ๊ณ , 5์ง์์๋ 5์ ๋ณด์์ 4์ ๋ณด์๊ฐ ์กด์ฌํ๋ ๊ฒ์ฒ๋ผ, 2์ง์๋ฅผ ์ฌ์ฉํ๋ ์ปดํจํฐ์์๋ 2์ ๋ณด์์ 1์ ๋ณด์๊ฐ ์กด์ฌํ๋ค. 1์ ๋ณด..
0 2022.09.27 -
์ด์ฐ ์ํ ์ง๋ฒ๋ณ ์ฌ์น์ฐ์ฐ
์ง๋ฒ๋ณ ์ฌ์น์ฐ์ฐ ์ฌ๋ฆผ์์ ๋น๋ฆผ์ ์ง๋ฒ๋ณ๋ก ๋ง์ ์์ ์ฌ๋ฆผ์๊ฐ ๋ฐ์ํ๋ ๊ฒฝ์ฐ๋, ๋บ์ ์์์ ๋น๋ฆผ์๊ฐ ๋ค๋ฅผ ๋ฟ, ๊ธฐ๋ณธ์ ์ผ๋ก ์ฌ์น์ฐ์ฐ์ ์๋ฆฌ๋ ์ง๋ฒ์ ์๊ด ์์ด ๊ฐ๋ค. 10์ง์, 2์ง์, 8์ง์, 16์ง์๋ ๊ฐ๊ฐ ๋ ์์ ํฉ์ด 10, 2, 8, 16 ์ด์์ด๋ฉด ์ฌ๋ฆผ์๊ฐ ๋ฐ์ํ๋ค. 10์ง์, 2์ง์, 8์ง์, 16์ง์์ ๋บ์ ์ ๋น๋ฆผ์๋ ๊ฐ๊ฐ 10, 2, 8, 16์ด๋ค. ์ฌ๋ฆผ์(Carry Digit) ๋ง์ ์์ ๋ ์์ ๋ง์ ๊ฒฐ๊ณผ๊ฐ 10(10์ง์), 2(2์ง์), 8(8์ง์), 16(16์ง์) ์ด์์ผ ๋ ์์์ ์ฌ๋ฆฌ๋ ์ 1์ด ์ฌ๋ฆผ์์ ํด๋น๋๋ค. ๋น๋ฆผ์(Borrow Digit) ๋บ์ ํผ์ฐ์ฐ์1 - ํผ์ฐ์ฐ์2 ์์ ํผ์ฐ์ฐ์1 < ํผ์ฐ์ฐ์2 ์ผ ๋ ํ์์ ๋น๋ ค์ฃผ๋ ์ 10(10์ง์), 2(2์ง์), 8(8์ง์), 16(1..
0 2022.09.26 -
์ด์ฐ ์ํ ์ง๋ฒ ๊ฐ ๋ณํ
์ง๋ฒ ๊ฐ ๋ณํ ์ฌ๋์ด ์ฌ์ฉํ๋ ์๋ก ์ปดํจํฐ์ ๋ฐ์ดํฐ๋ฅผ ์ ๋ ฅํ๊ฑฐ๋ ์ฐ์ฐ์ ์๊ตฌํ๋ฉด, ์ปดํจํฐ๋ ์์ ์ด ์ฌ์ฉํ๋ 2์ง์๋ก ๋ณํํ์ฌ ์ฒ๋ฆฌํ๋ฉฐ, ๋ฐ์ดํฐ๊ฐ ๋ฐฉ๋ํด์ง์ ๋ฐ๋ผ 8์ง์๋ 16์ง์๋ก ํํํ๊ธฐ๋ ํ๋ค. 10์ง์์ 2์ง์๋ ์ด๋ค ์ง๋ฒ์ผ๋ก๋ ๋ณํ์ด ๊ฐ๋ฅํ์ง๋ง, 8์ง์์ 16์ง์๋ ์๋ก ์ง์ ๋ณํ์ด ๋ถ๊ฐ๋ฅํ๋ค. ๊ทธ๋ฌ๋ฏ๋ก 8์ง์๋ฅผ 16์ง์๋ก, ๋๋ 16์ง์๋ฅผ 8์ง์๋ก ๋ณํํ๊ธฐ ์ํด์๋ ๋จผ์ 10์ง์๋ 2์ง์๋ก ๋ณํํ ํ์ 8์ง์๋ 16์ง์๋ก ๋ณํํด์ผ ํ๋ค. [1] 10์ง์ โ 2์ง์ / 8์ง์ / 16์ง์ 10์ง ์ค์๋ฅผ 2์ง์, 8์ง์ ๋๋ 16์ง์๋ก ๋ณํํ ๋๋ ์ ์๋ถ์ ์์๋ถ๋ฅผ ๋ณํํ๋ ๋ฐฉ๋ฒ์ด ๋ค๋ฅด๋ค. ์ ์๋ถ ๊ตฌํ๊ธฐ ๋ชซ์ด 0์ด ๋ ๋๊น์ง ๋ณํํ๋ ค๋ ๊ธฐ์๋ก ๋๋๋ฉด์ ๊ฐ ๋จ๊ณ๋ง๋ค ๋์ค๋ ๋๋จธ์ง๋ฅผ ๋์ดํ๋ ๋ฐฉ์์ผ๋ก ..
0 2022.09.20 -
์ด์ฐ ์ํ ์ง๋ฒ๋ณ ํํ
์ง๋ฒ๋ณ ํํ ๋ช ๊ฐ์ ์ซ์๋ฅผ ์ด์ฉํ์ฌ ์๋ฅผ ํํํ๋๋์ ๋ฐ๋ผ ์ง๋ฒ์ด ๊ฒฐ์ ๋๋ค. n ์ง๋ฒ๊ณผ n ์ง์ 0 ๋ถํฐ n-1 ๊น์ง์ ์ซ์๋ก ์๋ฅผ ํํํ๋ ๋ฐฉ๋ฒ๊ณผ ๊ทธ๋ ๊ฒ ํํํ ์ ํ์ฌ ์ฌ์ฉํ๊ณ ์๋ ์ง๋ฒ์ ํ๊ธฐ๋ฅผ ๊ธฐ์(Base)๋ผ๊ณ ํ๋ค. ๋ง์ฝ n ์ง๋ฒ์ ์ฌ์ฉํ๊ณ ์๋ค๋ฉด ๊ธฐ์๋ n ์ผ๋ก, ํํํ ์์ ์ค๋ฅธ์ชฝ ๋์ ์๋ ์ฒจ์๋ก ํ๊ธฐํ๋ค. ์) 136510 (10์ง์) 10์ง์๋ ๊ธฐ์๋ฅผ ์๋ตํ์ฌ 1365 ๋ก๋ง ์์ฑํ ์ ์๋ค. ์) 13658 (8์ง์) ๊ธฐ์์ ๋ฐ๋ผ ์ฝ๋ ๋ฐฉ๋ฒ๋ ๋ค๋ฅด๋ค. 10์ง์๋ ์ฒ, ๋ฐฑ, ์ญ, ์ผ ๋จ์๋ฅผ ๋ถ์ฌ ์ฝ๋๋ค. 136510 : ์ฒ์ผ๋ฐฑ์ก์ญ์ค 2์ง์, 8์ง์, 16์ง์๋ ์ซ์๋ฅผ ํ๋์ฉ ์์๋๋ก ์ฝ๋๋ค. 11012 : 2์ง์ ์ผ์ผ๊ณต์ผ..
0 2022.09.20 -
์ด์ฐ ์ํ ์์ ์ฒด๊ณ
์์ ์ฒด๊ณ ์์ ์ฒด๊ณ ์์ ์ฒด๊ณ๋ ๋ค์๊ณผ ๊ฐ์ด ํํํ ์ ์๋ค. ์์ ์ฒด๊ณ์ ํฌํจ๋๋ ๋ค์ํ ํํ์ ์๋ฅผ ์ดํดํ๊ธฐ ์ํด ์์ ๊ธฐ์(Base)์ ์๋ฆฟ์๋ฅผ ์ดํดํด์ผ ํ๋ค. ๊ธฐ์(Base) 10์ง์, 2์ง์์ ๊ฐ์ด ์ ํํ์ ๊ทผ๊ฑฐ๋ฅผ ์๋ ค์ฃผ๋ ์ ์ซ์์ ๋์ ์๋ ์ฒจ์๋ก ํ๊ธฐํ๋ค. ์ผ๋ฐ์ ์ผ๋ก 10์ง์๋ ๊ทธ ํ๊ธฐ๋ฅผ ์๋ตํ๊ธฐ๋ ํ๋ค. ์) 14310,110012,โฆ ์๋ฆฟ์(Digit) ์๋ฅผ ๊ตฌ์ฑํ๋ ๊ฐ ์ซ์์ ์์น ์์์ ์ ๊ธฐ์ค์ผ๋ก ์ ํ๋ค. 10์ง ์ค์ 123.456710 ์ ๊ฐ ์ซ์์ ๋ํ ์๋ฆฟ์ 10์ง ์ค์ 1 2 3 . 4 5 6 7 ์๋ฆฟ์ 2 1 0 -1 -2 -3 -4 ์์ฐ์(Natural Number : N) 0๋ณด๋ค ํฐ ์์ ์ ์ $n, \;a, \;b โ ..
0 2022.09.15