在离散数学,命题逻辑这里,那个推理的条件的集合,怎么念的?