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

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