"合取式"和"合取范式"有什么不同吗?