結果 : define universal and existential quantifiers with examples