自動推理系統環境II─自動推理系統環境：子計畫(一)邏輯推理系統之完備性及有效性之探討