728x90 반응형 computaional thinking2 [SW EA/CT] 2_1. 논리와 증명 / 수와 표현 (문제+풀이) 1. 논리와 증명 문제 1. 다음 명제들이 항진명제라는 것을 진리표를 이용해서 보이시오. 1번. ~(~p∧ q) ∨ q 2번. (~p∨ q) ∨ (p ∧ ~q) (풀이) * 항진명제 : 논리식 혹은 합성명제에 있어서 그 명제를 구성하는 단순 명제들의 진리값에 관계없이, 그 합성 명제의 진리값이 항상 참의 값을 가지는 것. ∧ (and) : 둘 중 하나라도 F가 있다면, F이다. (둘 다 T인 경우에만 T) ∨ (or) : 둘 중 하나라도 T가 있다면, T이다. (둘 다 F인 경우에만 F) 1번. p q ~(~p∧ q) ~(~p∧ q)∨ q T T T T T F T T F T F T F F T T 네 경우 모두 T가 나오기 때문에, ~(~p∧ q)∨ q 은 항진 명제이다. 2번. p q (~p ∨ q) (.. 2021. 1. 21. [SW EA/CT] 1. 프로그래밍과 논리/수학 (문제+답+해설) 논리 연습 문제 1. 다음을 명제식 형태로 쓰고 참인지 거짓인지 판단하시오 1번. 만약 0이 홀수라면, 미국에서 2080년 월드컵이 열린다. 2번. 만약 19893827938274839이 Prime Number(소수)라면, 2는 짝수이다 (풀이) 1번. 가정 : 0이 홀수이다. 결론 : 미국에서 2080년 월드컵이 열린다. 가정이 거짓(false)이기 때문에, 결과의 참/거짓 여부와 무관하게 명제식은 무조건 참이다. 2번. 가정 : 19893827938274839이 Prime Number(소수)이다. 결론 : 2는 짝수이다. 위 명제의 대우는 '2가 홀수이면, 19893827938274839이 Prime Number(소수)가 아니다.'이다. 이 때, 명제의 대우에서의 가정이 거짓이기 때문에, 결론의 참/.. 2021. 1. 2. 이전 1 다음 728x90 반응형
