问答题
指出下列公式中的约束变元和自由变元
（∀x）（P（x）∧R（x））→（（∃x）P（x）∧Q（x））
问答题 若自然数序列（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）都不是简单无向图的度序列。
问答题 （x）（P（x）→Q（y））
