수학 문제를 풀어 레이팅을 쌓고, 직접 만든 문제를 공식 문제로 등록하는 수학 랭크 플랫폼
두 조건 p, q의 진리집합을 각각 P, Q라 한다. p가 ～q이기 위한 충분조건일 때, 집합 P, Q의 포함관계로 항상 옳은 것은? (단, U는 전체집합이다.)
