一、未解析的命题的推演

A. 解释弁言 这里的解释分以下两条：1.关于符号；2.关于推论。 1. 关于符号。 以下的符号不必有以下的意义，可是事实上我们给它们以以下的意义。“p，q，r…”解释成未解析的命题。在本书我们不说它们是最初级的命题。“最初级的命题”这一名称似乎有困难。如果命题要解释，如果我们免不了要用解析的方法以研究命题的意义，则是否有“最初级的命题”，颇发生疑问。即有这样的命题，我们也不容易举例。我们手指一物说“这是红的”。“这是红的”是否最初级的命题颇不易说；但只要我们不解析它，它总是未解析的命题。 “├”表示断定。每一命题都有断定的成分在内。假如我向窗外一望说“今天天晴”，“今天天晴”是一命题，有断定成分夹在里面；假如我讨论命题，说“即以‘今天天晴’”为例，严格地说，“今天天晴”不是命题，因为它没有断定的成分。“├”既表示断定，有此符号的命题，均为此系统断定为真的命题。 “～”表示“非”“负”“假”。它可以视为运算（operation），也可以视为真假两值中的假值。有时运算与值一样，有时不一样。有此符号的命题有时此符号表示此命题之为假，有时无此表示。即以本系统的矛盾律而论，“├：～（p·～p）”，括弧外面那个“～”表示括弧里面的命题是假的；可是括弧里面那个“～”，严格地说，只能视为运算；因为假设p代表一真命题，则括弧里的“～”不过表示p的反面而已。但系统的推行既没有因此发生什么困难，我们也…