スマリヤンの二つの文 Smullyan, Raymond (1992). の翻訳本や Smullyan, R.: 1997, の翻訳本に書かれているスマリヤンの二つの文とは、次のようなものです。 文1と文2 ・文1 封筒を交換して増額する場合の増額は封筒を交換して半減する場合の減額を上回る。 ・文2 それらの金額（増額と減額）は等しい。 文1の証明 交換前の金額を x とすると、封筒を交換して増額する場合の増額は x で、 封筒を交換して半減する場合の減額は x/2 なので、文1 が成り立つ。 文2の証明 二つの封筒の金額の差を d とすると、封筒を交換して増額する場合の増額は d で、 封筒を交換して半減する場合の減額も d なので、文2 が成り立つ。 命題2の証明で封筒の金額の差に着目しているのは、うまいトリックです。差が決まれば金額の組み合わせも決まってしまうことをうまく隠しています。
