基本演绎法则

*