2.6 破索式:从命题去推演结构