【离散数学】命题公式的类型分为哪几类呀?是不是可满足式,矛盾式什么的?
问题描述：
【离散数学】命题公式的类型分为哪几类呀?
是不是可满足式,矛盾式什么的?
答
是,可以分为三类:永真式、可满足式和矛盾式.
【离散数学】命题公式的类型分为哪几类呀?
是不是可满足式,矛盾式什么的?
是,可以分为三类:永真式、可满足式和矛盾式.