文档介绍：Ethan 0. Bloch
Proofs and Fundamentals
A First Course in Abstract Mathematics
q A9 :i-{
65 7
c .'
Ethan D. Bloch
Depaament of Mathematics
puter Science ~~
Bard Colleee ~mu~rnR*RY
Library of Congress Cataloglngia-Publl~atlo~Data
Bloch, Elhan D., 1956-
Pmofs and fundamentals: a fist caune in abslract mathematics1 Elhan D. Bloch.
p. cm.
Includes bibliographical references and indexes.
ISBN 0-8176-4111-4 (alk. paper) -ISBN 3-7643-4111-4 (alk. paper)
1. Prmf theory. 2. Set theory. I. Title.
2CCQ
-dc21 00-023309
CIP
Math Subject Classifications 2000: Primary WA35; Secondary W-01
Printed on acid-free paper
BZOM) Birkhiiuser Boston
All righls rcacrvcd. 'I his work may not bc translaled or copied in whole or in put without the
permiuionofthepubiisher(8irkh~userRoslon,c/oSp~,lnc.,uc,
Ncw York,NY .~tionuilhrcvicwsorrihol~rlyanal~sis.
Use in conneclion with anv form df information storaee and retrieval. electronic ~uter
roftware.~ ~ ~. or bv, similar or bissimilar methoddaev~ -~ -, no; !mown or hereafter develooe'd is forbidd;n.
Thc u5e of gcncr~idcacriptive nsmcs, trade nrmcs, trademarks, etc., in lhis pubiimtion, even if (he
former 3re not crpecially identified, is not lo bc taken as a sign that such nimcs,ar understood by lhs
Trade Marks and Merchandise Marks Act, may accordingly be used freely by anyone.
ISBN 0-8176-4111-4 SPIN 10741129
ISBN 3-7643-4111-4
R~.formatlcdfrom the ~olhofsfile$ by T~Xniques,Inc, Cambridge, hlA
Figures rscrcated by .\!any Slm'k, Walenown, hlA.
Cover design by Jeff Cosioy, Newton, MA.
Printed and bound by Hamiiton Printing, Rensselaer, NY.
Printed in the united Stales of ~merici
987654321
Contents
Introduction ix
To the Student xiii
To the Instructor xix
Part1 PROOFS 1
1 Informal Logic 3
-C
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . 3
Statements. . . . . . . . . . . .