마플시너지,공통수학2,풀이해설,1048,두 명제의 진리집합 포함 관계를 벤 다이어그램으로