[数理逻辑及其应用]朱保平

【数理逻辑及其应用】朱保平.pdf数理逻辑及其应用 朱保平编目录 第一章命题演算基础 1命题和联结词 1命题联结词合式公式 1关于公式的表示法 1真假性 1解释 1等价公式 1联结词的完备集 1.(谓词演算公式子句的形成 6一般归结 6归结反演系统的应用 6.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。