命题演算

我们开始搭建“印刷化数论”（TNT）。先从命题演算入手：与、或、非、蕴含。它把简单真值组合成复杂陈述。将推理形式化为严格符号操作，是把思考机械化的第一步。