Conjunctions and Disjunctions 合取、析取 If the domain is finite, a universally quantified proposition is equivalent to a conjunction of propositions without quantifiers and an existentially quantified ...
01204211-discrete-math-slides / 02b-intro-quantifiers.handout.pdf Cannot retrieve latest commit at this time.