Question

【离散数学】命题公式的类型分为哪几类呀？

是不是可满足式，矛盾式什么的？

Answer 1

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