| 初始公式 initial formula;primitive formula 形式系统中用来作为出发点的合式公式。初始符号是字母表。形成规则确定了有无意义的条件，它相当于一般语言里的句法。有意义不必是真的。在一个逻辑的形式系统中，它要有所肯定或断定，要有一些真的公式作为出发点，这就是作为公理的初始公式。例如在希尔伯特-阿克曼的命题演算系统中，初始公式有四个： (1)(p∨p)→p。 (2)p→(p∨q)。 (3)(p∨q)→(q∨p)。 (4)(q→r)→((p∨q)→(p∨r))。 它们都是重言式。 |