Tag: Predicate logic

• The Grammar of Mathematics: Reading and Writing Sets and LogicA precise treatment of elements, subsets, power sets, unions, intersections and complements, together with truth tables, the negation rules for quantifiers, and necessary versus sufficient conditions, organized around proofs of De Morgan's laws.MathematicsFoundations of MathematicsUndergraduateSet theoryPropositional logicPredicate logicDe Morgan's lawsQuantifiers~28 min