「スマリヤン記号論理学」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)