問答題

【簡答題】組成公理化系統(tǒng)的一般程序？

答案： ①選擇只作公設的概念為基本概念，選擇一類自明的陳述作為公理，它們是無須證明就被置入系統(tǒng)的；
②制定推理（推導）...
題目列表

你可能感興趣的試題

問答題

【簡答題】穆勒五法指哪五種方法？
答案：

①求同法；
②求異法；
③求同求異共用法；
④剩余法；
⑤共變法。
問答題

【簡答題】自然語言符號系統(tǒng)的特點？
答案：

①多義性；
②歧義性；
③語法結構不夠嚴格和統(tǒng)一。
微信掃碼免費搜題