반례 기호화 질문입니다

[익명(1.216)]

A->B의 반례가
A->~B 이거 뿐인가요 아니면
위에 덧붙여 ~A->B 까지 반례에 해당하는건가여?

[익명(223.62)]

~A->B가 성립하는 동시에 A->B가 성립할 수 있으니 해당 안됨. B가 항진인 경우를 생각해보면 됨 (내가 여자면 뉴턴은 죽었다, 내가 남자면 뉴턴은 죽었다)

[익명(112.149)]

A이면 B, A가 아니거나 B. 이 둘은 동치.

[ㅁㅁ(111.239)]

A가 모순인 경우를 생각해 보면 A→¬B는 반례가 아님. 반례라는 건 ¬(A→B)를 유도할 목적이니까 A∧¬B인 걸 찾는 거임.