四 回到词项逻辑去