## Elementary set theory: proof techniques |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Chapter IThe Propositions Calculus | 1 |

Chapter IIStatements with quantifiers | 47 |

Chapter IIIElementary set theory | 69 |

Copyright | |

6 other sections not shown

### Common terms and phrases

3x(x e B A A C B A U B anti-reflexive anti-symmetric arbitrary and assume arbitrary member axiom of choice B A x f C)(B C A Cartesian product defined Definition diagram equivalence relation Example Exercise F F F F T F f U g family of sets fi(f following statements following theorem formula Hence indexed family integer language of mathematics Let f Let g let x,y linear ordering logically equivalent mathematical induction member of G notation Note one-to-one function order homomorphism order isomorphism ordered pair P A Q P V Q partial ordering partition Pick Pr(m Pr(n prime number Propositional Calculus Prove Theorem quantifiers R-least upper bound R-upper real number reflexive set and let set of sets subset symmetric tautology transitive true truth table truth values Vx(P Vx(x e x e 3(R x e B A xRy A yRx