23/12/19 06:01:54.80 E3+GZFw3.net
ベクトルとコベクトルみたいなもんだな
命題proposition を Pとしたとき
P⇒⊥（⊥は矛盾の意味）のような命題を、
copropositionと呼んだら、面白いかもな
23/12/19 06:01:54.80 E3+GZFw3.net
ベクトルとコベクトルみたいなもんだな
命題proposition を Pとしたとき
P⇒⊥（⊥は矛盾の意味）のような命題を、
copropositionと呼んだら、面白いかもな
23/12/19 06:01:54.80 E3+GZFw3.net
ベクトルとコベクトルみたいなもんだな
命題proposition を Pとしたとき
P⇒⊥（⊥は矛盾の意味）のような命題を、
copropositionと呼んだら、面白いかもな