ベクトルとコベクトルみたいなもんだな

命題proposition を Pとしたとき
P⇒⊥(⊥は矛盾の意味)のような命題を、
copropositionと呼んだら、面白いかもな