ㄱ. 두 명제 p, q의 진리집합이 각각 P, Q일 때, p->q와 q->p가 모두 참이면 P^Q=공집합인 경우가 존재한다. (^는 교집합)
ㄴ. 두 함수 f, g에 대해 f(g(x))=x이면 g=f^-1이다.

ㄷ. 1 이상인 두 양수 a, b와 자연수 n에 대해 (a+b)^2n+a^2n+b^2n은 (2^n+2)ab보다 크거나 같다.
옳은 것을 모두 고르면?