2012年12月5日水曜日

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

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