演绎法推理

cp规则：给前提集合，给结论，要求推导前提推导结论。把结论化成蕴含式，里面的蕴含前件为真拿下来做补充条件，再和前提集合里面那么多条件一起推，最后推出那个结论为真。