Question

┐p∧Q是不是合式公式书上说联结词的优先顺序为：┐、∧、∨、→ 、←→还说┐(p∧Q)是合式公式,而┐p∧Q不是合式公式

Answer 1

(1) 符号π是合式公式.(π取值A,B,…)

(2) 若A是合式公式,则┐A是合式公式.

(3) 若A,B是合式公式,则(A∧B),(A∨B),(A→B),(AB)是合式公式.

(4) 只有符号(1) (2) (3)的符号序列才是合式公式.

看到了吗?加一对括号,（┐p∧Q）就是合式公式,

而（┐(p∧Q)）两端的括号可以省略,

注意掌握括号的省略规则.