Imaginantia

思ったことを書きます

AだけどAでない

これ自体は即座に矛盾が出るものではない。自然言語なので解釈のしようはまだたくさんあって。

よくあるのは \Gamma \vdash A かつ \Delta \vdash \neg A で。つまり言外に「文脈の差」がある。

大体何かを解釈するのに必要なものは文脈だとおもう。