简答题 设R和S是集合X上的部分序关系，证明R∩S必定也是X上的部分序关系。

设A和B是集合，且B=A∪{b}，其中b∉A。证明：。

问答题

设A和B是集合，且B=A∪{b}，其中b∉A。证明：。

用形式证明的方法证明下列论证的有效性：“本班有些同学是有经验的C++程序员，任何C++程序员都知道对象的概念。...

问答题用形式证明的方法证明下列论证的有效性：“本班有些同学是有经验的C++程序员，任何C++程序员都知道对象的概念。因此，本班有人知道对象的概念。”

求出谓词公式的前束范式。

问答题

求出谓词公式的前束范式。