호어 논리