論理式「￢P」の意味論

論理式「￢P」の意味論を新規作成、アップロード。