t_wの輪郭

かげんめいだい仮言命題
『論理データベース論考』制約は仮言命題