逻辑检验系统的英文翻译

中文：逻辑检验系统