【数理逻辑导论】云南人民昆明.pdf
作者简介:丛杭青.1958年出生 于杭州市。76 年下乡插队,80年就读于厦门大学哲学 系,87年获哲学硕士学 位。现在浙江大学科技与 社会发展研究所任教。出版论文、论著、教材60余 万字。
录目 1数理逻辑的发展 2人工符号语言 公理系统 形式系统元理论 自然推理系统 命题演算的基本概念 211命题与语句 22简单命题与复合命题 23命题变元 2真值联结词 221真值联结词与语句联结词 222五个真值联结词 223其他真值联结词 231命题公式 232真值表方法 233简化真值表的方法 234命题
32函数词、等词和摹状词 421函数词 422等词 423募状词 43谓词公式 431谓词合式公式 432自由变元和约束变元 44命题形式化 441直言命题形式化 442关系命题形式化 443复杂命题形式化 45谓词公式的判定 4 