Exists [x, expr] represents the statement that there exists a value of x for ... expr] states that there exist values for all the xi for which expr is True.
確定! 回上一頁