名詞解釋邏輯——數理智力