否定命題negationをあらわす論理記号 ￢A, ～A

論理記号一覧の否定命題negationをあらわす論理記号　￢A,　～A　について、
体裁改善、論理式「￢P」の意味論へのリンク付加。