ならばに時間的な意味がある場合は時点に言及する変数を入れればいい

↔∀x(∀y(y<x→時点yにおいて叱られない)→時点xにおいて勉強しない)
↔∀x(¬時点xにおいて勉強しない→¬∀y(y<x→時点yにおいて叱られない))
↔∀x(時点xにおいて勉強する→∃y(y<x∧時点yにおいて叱られる))