[判断题]命题推演包括逻辑推演和操作化推演两种类型。