[일반] 햄들 코어 논리학 질문 드려용

[익명(118.235)]

여기서 f의 존재가 g의 존재를 보장하고

대우를 취했을때 ~g -> ~f니까

~g는 ~f의 충분조건이니까 g의 결여는 f의 결여를 보장하나, f의 결여는 g의 결여를 보장하는지 확실치

않으니 필요조건이다. 라는게 내 해석인데 맞나욤??

[익명(14.53)]

벤다이어그램 그려봐 필요충분조건이 아닌 충분조건이라고 분명히 명시했으니, 큰원 G와 그 안에 작은원 F가 있고 G를 없애려면 F가 먼저 없어져야하니 필요조건 맞지 그 역은 필요충분조건이 아닌이상 신경쓸 이유가없음

[익명(118.235)]

와 ㅁㅊ 이건 혁신입니다 형님 감사합니다 와