What people are saying - Write a review
We haven't found any reviews in the usual places.
Chapter IThe Propositions Calculus
Chapter IIStatements with quantifiers
Chapter IIIElementary set theory
6 other sections not shown
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