集合と論理【遊戯王Wiki】

遊戯王Wikiの、「墓地に捨てる」の項に、わりと昔からずっと変わらずある、「墓地に送る」と「墓地に捨てる」の違いを定義するための一節。


「墓地に捨てる」は「墓地に送る」に含まれる。（例：《手札抹殺》で《おジャマジック》を捨てた時、効果は発動される）
が、「墓地に送る」は「墓地に捨てる」に含まれない。（例：《手札断殺》で暗黒界が墓地に送られた時、効果は発動されない）
数学的に言うならば、「墓地に捨てる⊂墓地に送る」といった所か。


この、一見問題なさそうに見えるものの何かがおかしい説明を、厳密で有用な説明に直しなさい。


という問題は、いい感じの論理力とれーにんぐ問題になるのではないだろうか、とふと思いました。




（念のため解答例）
・「Aを墓地に捨てる」とは、Aを「墓地に送られた」状態にし、なおかつ「墓地に捨てられた」状態にする行為である。
・「Aを墓地に送る」とは、Aを「墓地に送られた」状態にするが、「墓地に捨てられた」状態にはしない行為である。
（なお、この定義から、「墓地に捨てられた⇒墓地に送られた」が導かれる）