两类演绎