何とは言わない天然水飲みたさ

プログラマの論理

このときの「ならば」は実行条件ではなく「指示を出した理由」だ。 外へ出るという予定を聞いたから指示を出しておくという意味。 つまり、指示をした時点で意味を成しているので実行フェイズでは消去して考えるということで矛盾はない。

プログラマの論理 - 何とは言わない天然水飲みたさ https://blog.cardina1.red/2016/09/13/programmers-logic/
書いた

なるほど。

参考資料