- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
問答題
【簡(jiǎn)答題】組成公理化系統(tǒng)的一般程序？
答案：
①選擇只作公設(shè)的概念為基本概念，選擇一類自明的陳述作為公理，它們是無須證明就被置入系統(tǒng)的；
②制定推理（推導(dǎo)）...
②制定推理（推導(dǎo)）...
你可能感興趣的試題
問答題
【簡(jiǎn)答題】自然語(yǔ)言符號(hào)系統(tǒng)的特點(diǎn)？
答案：
①多義性；
②歧義性；
③語(yǔ)法結(jié)構(gòu)不夠嚴(yán)格和統(tǒng)一。
