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