￢A ∧ A というような合接を禁止する規則は

質問

記号論理学の中で何かあるのでしょうか？　それとも、そういう形式は
記号論理学を破綻させないために自主的に迂回しているのでしょうか？

ご教示いただけるとありがたいです。

回答No.3

owlsjp

記号論理学とはなんですか？

　￢A　∧　A 　これらの記号のそれぞれの意味はなんですか？

　ざっと説明してもらえれば、極わずかとはいえ可能性としては、答えられるかもしれません。

回答No.2

corpus

＞￢A　∧　A
矛盾律ですね。

背理法に使われると思います。

記号を複数箇所に出現させることができたこと、
これがポイントでしょうかね。

ヒト以外の動物で、矛盾律を使う動物はいないと思います。

回答No.1

sono0315

（￢A）∧　A
なんですよね？

やっぱりルール的にはこれは空集合になることが自明なので
迂回というか、取り扱う必要がないのでは？