任意の集合$p$と$q$があるとし、$\bar{p},\bar{q}$はそれぞれ$p,q$の補集合であるとする
「$\bar{p}$が$q$であるための必要条件」であることは、 「$p$が$\bar{q}$であるための必要十分条件」であるための 1.必要十分条件である 2.必要条件であるが十分条件ではない 3.十分条件であるが必要条件ではない 4.必要条件でも十分条件でもない
番号で入力してください。