案例分析题

指出下列公式中的约束变元和自由变元

（∀x）（P（x）∧R（x））→（（∃x）P（x）∧Q（x））

若自然数序列（d1，d2，…，dn）满足d1＞d2＞…＞dn，则当它为一简单无向图的度序列时有

问答题

若自然数序列（d1，d2，…，dn）满足d1＞d2＞…＞dn，则当它为一简单无向图的度序列时有

证明：序列（6，5，5，4，3，2，2），（7，6，5，4，3，3，2）以及（6，6，5，4，3，3，1）都不...

问答题证明：序列（6，5，5，4，3，2，2），（7，6，5，4，3，3，2）以及（6，6，5，4，3，3，1）都不是简单无向图的度序列。

（x）（P（x）→Q（y））

问答题（∀x）（P（x）→Q（y））