人気ブログランキング |

「スマリヤン記号論理学」P79にミスプリを発見

キンシャチ
@p314159265 おはようございます。「スマリヤン記号論理学」P79の、問題10.16は、
「すべての論理結合子は、≢および⇏を使って定義できるか」
ではなく
「すべての論理結合子は、≣および⇏を使って定義できるか」
が正しいのではないでしょうか?

キンシャチ
@p314159265 「問題9.16(c)には条件E(同値)およびI'(「ならば」の否定)を満たす島は、かならずブール島になることを示せ」とあるので、問10.16の「同値の否定」はミスプリだと思いました。

川辺
@kinshati 10.16の問題文の書き方からすると、ご指摘の通りですね。それでは、この「すべての論理結合子は、≢および⇏を使って定義できるか」の答えはどうでしょうか。

キンシャチ
@p314159265 おそらく無理です。A≢AはFになり、A≢FはAになります。A⇏AもFになり、A⇏FはA、F⇏AはF。あとは略しますが、否定が作れないと考えます。ゆえに、無理。

by tomoarrow | 2016-08-25 07:00 | モチーフについて | Comments(0)