網(wǎng)站首頁(yè) 高考復(fù)習(xí)資料 高考英語(yǔ)詞匯 高考漢語(yǔ)字詞 高考文言文 古詩(shī)文閱讀 舊版資料
數(shù)理邏輯的基本組成部分。亦稱句子演算。命題演算取簡(jiǎn)單的、未分析的命題，而且僅處理不含變項(xiàng)的命題。它把簡(jiǎn)單命題當(dāng)作可取得真值或假值的整體，研究由簡(jiǎn)單命題構(gòu)成的復(fù)合命題的邏輯形式以及它們之間的邏輯推理關(guān)系。
高三復(fù)習(xí)網(wǎng)英漢詞典收錄370961條英漢翻譯詞條，基本涵蓋了全部常用英語(yǔ)單詞的釋義及用法，是英語(yǔ)學(xué)習(xí)的有利工具。