Chekhovの銃
1.
ストーリーの早い段階で物語に導入された要素について、後段になってからその意味なり重要性を明らかにする文学の技法。
2.
「ストーリーには無用の要素を盛り込んではいけない」という意味であるとも解釈できる。
個人的には2の意味で用いる人間が多い気がする
誰も発砲することを考えもしないのであれば、弾を装填したライフルを舞台上に置いてはいけない。
対偶を取れば,
舞台上に銃があるなら,それはそのうち発砲される
これをより一般的に拡張すると
現れるものには,必然的に意味がある
$ \models p \implies \models \Box p