二值命题逻辑公式在等价意义下的一般表示及其应用

摘要	第1-4页
Abstract	第4-6页
前言	第6-7页
第1章 预备知识	第7-12页
第2章 F(S_n)中公式真度相同与逻辑等价的关系	第12-16页
第3章 F(S_n)中公式在等价意义下的一般表示及其应用	第16-36页
§3.1 F(S_n)中公式在逻辑等价(可证等价)意义下的一般表示	第16-24页
§3.2 F(S_n)中公式集Γ的全体结论之集	第24-36页
总结	第36-37页
参考文献	第37-39页
致谢	第39-40页
攻读硕士学位期间的研究成果	第40页