Heurystyka (logika)