命题公式为 ( )
·矛盾式
·可满足式
·重言式
·合取范式
出自:佳木斯大学语言治疗学