離散數(shù)學(xué)試卷三-免費(fèi)閱讀
【正文】 （ 5 分） 五、謂詞邏輯推理 15% 符號(hào)化語(yǔ)句：“有些人喜歡所有的花，但是人們不喜歡雜草，那么花不是雜草”。 下列等價(jià)關(guān)系正確的是（ ）。 若 nAAA ?21, 和 B 為 wff，且 BAAA n ???? ?21 則（ ）。 將量詞轄域中出現(xiàn)的 和指導(dǎo)變?cè)粨Q為另一變?cè)?hào)，公式其余的部分不變，這種方法稱為換名規(guī)則。 設(shè) x是謂詞合式公式 A的一個(gè)客體變?cè)?A的論域?yàn)?D， A(x)關(guān)于 y 是自由的，則 被稱為存在量詞消去規(guī)則，記為 ES。 A、稱 nAAA ??? ?21 為 B 的前件； B、稱 B 為 nAAA ?21, 的有效結(jié)論 離散數(shù)學(xué)試卷（四） 25 C、當(dāng)且僅當(dāng) FBAAA n ????? ?21 ； D、當(dāng)且僅當(dāng) FBAAA n ?????? ?21 。 A、 )()())
公司管理相關(guān)推薦
鄂ICP備17016276號(hào)-1