结构推理
问矛盾式、重言式、可满足式、蕴含式中哪一个是重言式的否定式?
【正确答案】
矛盾式是重言式的否定式．
【答案解析】
提交答案
关闭