题目:下列谓词公式中,为重言式的有?
A. ∀x(¬F(x)→¬F(x))
B. ∀xF(x)→∃xF(x)
C. ¬(F(x)→(∀yG(x,y)→F(x)))
D. ¬∀xF(x)↔∃x¬F(x)
答案:评论后可见此内容
推荐使用我们的公众号搜索题目,题目更全,检索更方便。支持语音、图片、文字等多种搜索方式。