• 基础释义

间接肯定法