约定 的优先级高于其它的 省略命题形式最外层括号
约定 ¬的优先级高于其它的 省略命题形式最外层括号
命题形式的简单性质 ■任一个命题形式必为下列形式之一: 命题变元、(=a)、(αβ)、(α∧β) (a→β)或(aβ) 题形式的BNF( Bacus normal form ∷=p|(-)(avβ)|(a^β) (a→β)|(a<>β) ■每个命题形式都是有限符号串
命题形式的简单性质 任一个命题形式必为下列形式之一： 命题变元、 (¬ α ) 、 (α∨β ) 、 (α∧β ) 、 (α→β ) 或 (α↔β ) 命题形式的BNF (Bacus Normal Form): α ::= p | (¬ α) | (α∨β) | (α∧β) | (α→β) | (α↔β ) 每个命题形式都是有限符号串