수학 문제를 풀어 레이팅을 쌓고, 직접 만든 문제를 공식 문제로 등록하는 수학 랭크 플랫폼
두 조건 ppp, qqq의 진리집합을 각각 PPP, QQQ라 한다. ppp가 ∼q\sim q∼q이기 위한 충분조건일 때, 집합 PPP, QQQ의 포함관계로 항상 옳은 것은?(단, UUU는 전체집합이다.) [2점]