多項選擇題

謂詞邏輯的基本組成部分是()和常量符號,并用圓括弧、方括弧、花括弧和逗號隔開,以表示論域內(nèi)的關(guān)系。

A.謂詞符號
B.變量符號
C.函數(shù)符號

微信掃碼免費搜題