論理式「P∧Q」の意味論

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