邏輯和光鮮的理論邏輯 。從實(shí)踐邏輯來(lái)講