안녕하세요. 문의하신 내용 답변드릴게요.

1) 네, 부정할 때 적용되는 것입니다.

2) 대우명제로 바꿀 때 역시 조건과 결론을 바꾼 뒤 각각을 부정하므로 적용되고 있습니다.

3) 'a이면 b와 c이다.' 를 대우로 정리하면 'b또는 c가 아니면 a가 아니다'가 됩니다.

참고하시기 바랍니다.

감사합니다.