論理式間の矛盾・充足可能・整合

論理式間の矛盾・充足可能・整合を新規作成、アップロード。