名詞解釋數(shù)學(xué)與邏輯模型