Resolve@Exists[{i, j, k}, i < j && j < k && i < k] (* True *)
    Resolve@Exists[{i, j, k}, i < j && j == k && i == k] (* False *)