The claim is that. ∀ quantifier can be turned into ∃ by inverting the constraint. AFAIK, the following two relations hold:
確定! 回上一頁