问题描述: 【离散数学】命题公式的类型分为哪几类呀?是不是可满足式,矛盾式什么的? 1个回答 分类:综合 2014-10-12 问题解答: 我来补答 是,可以分为三类:永真式、可满足式和矛盾式. 展开全文阅读