なんだかよくわからないw
(T==T)=T
(F==F)=T
ならば、TとFを入れ替えると
(F==F)=F
(T==T)=F
これに登場するものの組は(T,F,==,=)の４つ組。
T,Fを単なる記号とすれば、真理値は定義できない。
T,Fを真理値とするならば、入れ替えた場合は、==を!=にするか、=を≠にするか。
何が問題なのかよくわかっていないw
非対称であるということを不完全あるいは矛盾と考えるなら、
単にゲーデルの不完全性定理の呪いか、タルスキの呪いか、チューリングの呪いか。