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