【离散数学】命题公式的类型分为哪几类呀? 是不是可满足式,矛盾式什么的?

2025-03-11 07:16:59
推荐回答(1个)
回答1:

是,可以分为三类:永真式、可满足式和矛盾式.