邏輯檢查