[SWEA] 논리와증명 / 수와 표현 (문제풀이)

풀다가 말았지만,,,그래도 블로그 보고 이해는 한 상태로 올려본당,,,

https://swexpertacademy.com/main/learn/course/subjectList.do?courseId=AVuPCwCKAAPw5UW6

SW Expert Academy

요기서 문제 푸는거당! 기본적인 컴퓨터 사고 기르기에 좋은듯?!?!

두개 들었당~! 꺄를를를르

 

일단 프로그래밍과 논리 / 수학은 그냥 강의다! 그리고 그 강의에서 배운걸 문제로 푸는 게 논리와 증명 / 수와 표현이다.

사실 컴퓨터공학 전공자라면 이산수학 프로그래밍때 다 배우는거긴한데, 오랜만에 풀어서 좀 까모것다,,,

 

https://creamilk88.tistory.com/186

[SW EA/CT] 2_1. 논리와 증명 / 수와 표현 (문제+풀이)

https://velog.io/@gandi0330/SW-Expert-Academy-Computational-Thinking-%EB%85%BC%EB%A6%AC%EC%99%80-%EC%A6%9D%EB%AA%85-%EC%88%98%EC%99%80-%ED%91%9C%ED%98%84-%EB%AC%B8%EC%A0%9C%ED%92%80%EC%9D%B4-3

[SW Expert Academy] Computational Thinking 논리와 증명 / 수와 표현 문제풀이 (3)

 

[1. 논리와 증명]

#1. 다음 명제들이 항진명제라는 것을 진리표를 이용해서 보여라.

① ~(~p∧ q) ∨ q

②  (~p∨ q) ∨ (p ∧ ~q)

 

#2. 다음 명제들이 모순명제라는 것을 진리표를 이용해서 보이시오.

① (~p∨ q)  ∧  (p ∧ ~q)

② (p ∧ q) ∧ (p ∧ ~q)

 

#3. 다음 명제의 쌍들에 대해서 두 명제가 동등한지를 진리표를 이용해서 확인하시오.

① p∧ (p ∨ q) 와 p

② ~p ∨ ~q 와 ~ (p ∨ q)

 

#4. 명세식의 변형을 통하여 다음 명세를 간소하시오.

① (p ∧~q) ∨ (p ∧ q)

② (p ∨ ~q) ∧  (~p ∨ ~q)

 

#5. 다음 명제들이 참인지 확인하시오. 단, R은 실수의 집합을 의미하고, Z는 정수의 집합을 의미한다.

① ∀x  ∈ R, x² ≥ x

② ∀x  ∈ Z, x² ≥ x

③ ∃x  ∈ R,  x² ＜ x

④ ∃x  ∈ Z, x² ＜ x

 

 

#6. n이 짝수이면, 3n+5는 홀수임을 증명하라.

 

#7. n이 홀수이면, n²+n이 짝수임을 증명하라.

 

#8. m이 짝수이고, n이 홀수이면, 2m+3n은 홀수임을 증명하라.

 

나머지는,,,다음에,,,ㅎ