小邏輯