施工现场安全技术交底的内容，应包括（）交底等内容。

【填空题】5、设谓词公式：，个体域：{1, 2}，将其中的量词消去，写出与之等价的命题公式为 。

A．A(a)∧A(b)

B．A(a)→A(b)

C．A(a)∨A(b)

D．A(b)→A(a)

设个体域为整数集,试确定两个谓词P(x,y),分别使得下列两个蕴涵式假.

A．

B．

C．

D．

设个体域D={a，b，c}，消去下列各公式中的量词。

A．A,B等价

B．A,B相似

C．A,B在实数域上合同

D．A,B在复数域上合同