陈斌gischen@pku.edu.cn2010.09.23


命题演算命题与联结词重言式范式命题演算形式系统谓词演算个体、谓词和量词谓词演算永真式谓词公式前束范式一阶谓词演算形式系统