787さんの言われたとおりに考えてみました
微分可能＝「滑らか」
f'(x)が存在＝「接線が引ける」
と言い換えて
「滑らか」→「接線が引ける」
「接線が引ける」→「滑らか」
どちらも成り立つので命題は真

これは正しいですか？