问答题
∃xF(x)→∀yG(y)
((F(0)→G(0))∧(F(0)→G(1)))∨((F(1)→G(0))∧(F(1)→G(1)))
问答题 证明公式xP(x)∧yP(y)是永假式。
问答题 设有代数表示式如下: (3x-5y)4/a(2b+c2) 试画出这个表示式的树.
问答题 写出x(P(x)→Q(x))→(xP(x)→xQ(x))的前束范式。