~q -> ~p 를 p -> q 의 " "라고 한다. 빈칸에 들어갈 말은?

• 대우

• 대우 명제

• 대우명제

어떤 명제가 참임을 보이기 위해서는 그 명제의 결론과 이미 알려진 성질을 근거로 그것이 참임을 논리적으로 밝혀야하는데 이 과정을 증명이라고 한다.

명제 p -> q 가 참이면 대우 ~q -> ~p도 참이므로 명제 p -> q가 참임을 증명할 때 그 대우 ~q -> ~p가 참임을 증명해도 된다.

어떤 명제를 증명하는 과정에서 명제의 결론을 부정하여 가정 또는 이미 알려진 사실에 모순됨을 보여서 그 결론이 성립함을 보여주는 증명 방법의 이름은?

• 귀류법

참인 두 문장에서 새로운 결론을 이끌어 내는 추론 방법의 이름은?

• 삼단논법

★ 에 공통으로 들어갈 알맞은 말은?

• 짝수

(가), (나), (다), (라)를 증명 순서대로 나열하면?

• (가), (라), (나), (다)
• (가), (라), (다), (나)
• (가), (나), (라), (다)
• (가), (다), (라), (나)

(가), (나), (다), (라) 에 들어갈 갈 말이 잘 못 짝지어진 것을 고르면?

• (가) : n이 홀수이면 n의 제곱도 홀수이다.
• (나) : (2k-1)(k는 자연수)
• (다) : 2k-1
• (라) : 짝수