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