意識のハードプロブレムの答え20

>>678
否定「¬」は無ではなくて、「→無」だよ。
数理論理学的には正しいはず。

A∧Bが無というのは、そのまま取れば、
(A∧B)→無、あるいは¬(A∧B）だと思う。

私の考えでは、A≠Aは命題論理では書けない。
量化が必要になる。