first order logic中文