ご回答誠に有難うございます。

>> http://www.geocities.jp/a_k_i_k_o928346/prop199_9525__01.jpg
>> と上手くいきました。
> こちらは良いですが,

了解です。
 
>> http://www.geocities.jp/a_k_i_k_o928346/prop199_953__01.jpg
>> と漸く解決できました。 
> こちらの Proposition の主張自体はナンセンスです.
:
> が成立する, ということの筈です.

そうでした。
http://www.geocities.jp/a_k_i_k_o928346/prop199_953__02.jpg
とすべきでしたね。