A 이면 B 이다를 만족하는 원소를 가지는 집합을 만들고싶은데
조건제시법에서 중괄호 안에있는 명제가 참인 원소를 가져오는거잖아
그러면 A->B 로 적어야돼 아니면 A=>B 로 적어야돼?
A->B 가 맞을거같은데
후자는 이미 참인거니까