P:小张可以完成这项工作
Q:小李可以完成这项工作
小张和小李都可以完成这项工作: P∨Q
1.命题变元和命题常元是公式;
2、如果α是公式,则α也是公式;
3、如果α,β是公式,则α∨β,α∧β,α→β,α≡β均为公式;
4、只有由1~3条给出的才是公式。因此,根据上述定义,p,(p→q)∨p等是公式,而p,pq→等都不是公式。