[일반] p ↔ q 명제 증명할 때

[익명(182.219)]

오른쪽 방향 증명하는 걸 necessity라 하고

왼쪽 방향 증명하는 걸 sufficiency라 함?

아님 그 반대임?

[익명(222.118)]

어차피 biconditional이라 누굴 기준으로 하느냐에 따라 다르지만 후건 q를 기준으로 한다면 =>가 necessity, <=가 sufficiency

[Weary(220.120)]

나는 큰게 필요하고 작은거로 충분하다 - dc App