题目:谓词公式(P∧Q)->P的类型是?
A. 矛盾式
B. 非永真式的可满足式
C. 永真式
D. 不属于(A),(B),(C)任何类型
答案:评论后可见此内容
推荐使用我们的公众号搜索题目,题目更全,检索更方便。支持语音、图片、文字等多种搜索方式。