모든 임의의 두 문장 R, S에 대해, 만일 R이 S로부터 따라나오면 not S는 not R로부터 따라나온다는 옳은 일반화인가요?