什麼叫做可滿足性 瑞麗範 心理 7.63K 大中小設定文字大小 意思是:關於形式系統的語義性概念。1993年公佈的數學名詞。公佈時間1993年,經全國科學技術名詞審定委員會審定釋出。出處《數學名詞》第一版。 TAG標籤:#