2.5 定言邏輯