質問: 「自然数nが8の倍数」であることは「nが4の倍数」であるための「十分条件」であることを説明しなさい。
回答: この時、kは全ての整数として用いられてます。 つまり8kは整数×整数なので整数であり、8をかけているので8の倍数です。 8は4の倍数なので、8k=4×2×kとなります。 2×kは整数×整数なので、整数となり、そこに4をかけているので、4×2×kは4の倍数、つまり、8kは4の倍数と言えます。 逆にしたときの反例ですが、例えば12は4の倍数ですが、8の倍数ではありません。なので反例は12と書けば良いです。