명제 pq가 있을때, p->q가 참이라면, 이때 p가 q의 충분조건이고, q가 p의 필요조건입니다. 동시에 성립하면 P는 Q이기 위한 필요충분조건이라 하고 P<->Q라씀
당신은 어느 그룹입니까?