命題論理における推論の意味論

命題論理における推論の意味論を新規作成、アップロード。