● 2、若1.2是公式，则 中1、1∧2、V2 也都是公式。 其中：一、A、V是命题连结词。 3、若φ是公式，t是的一个元组变量，则V(Φ) 3(φ)也是公式。 ·V()表示如下命题：‘对所有的t,均为真时， ()为真，否则为假。 8484 2、若1 , 2是公式, 则 1 、 1 2 、 12 也都是公式。 其中： 、  、 是命题连结词。 3、若是公式, t是的一个元组变量,则t (), t ()也是公式。 • t ()表示如下命题:‘对所有的t, 均为真时, t ()为真,否则为假。 ’