Nankai the philosophy textbook series: the ideas and methods of mathematical logic(Chinese Edition) by LI NA

paperback. New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Pub Date: October 2012 Pages: 326 in Publisher: Nankai University Press the Nankai philosophy textbook series: mathematical logic thinking and methods includes six chapters. the first chapter introduces the collection of basic ideas and methods of collection operations. The chapter aims to lay the foundation for the subsequent chapter. Chapter II Chapter introduce the basic ideas and methods of propositional logic. Chapters V and VI introduced the narrow predicate logic of the basic ideas and methods. Book selection. involves only the basic mathematical logic (propositional logic and narrowly predicate logic) does not involve the traditional logic. does not involve the other branch of modern logic. therefore. the system of this book is the author's original. the other Most of the chapters in order to enable the reader to better understand and grasp the ideas and methods of mathematical logic. with a certain amount of practice. Contents: The representation defined collection of the sequence chapter set theory preliminary Section 1 the basic concepts 1.1.1 1.1.2 collection of collection of Russell's paradox 1.1.4 1.1.3 contains equal relationship 1.1.5 empty set and power basic operations 1.2.1 set 1.1.6 Exercises Section II collection and set its operation 1.2.2 intersection of its operation 1.2.3 complement of its operation of the relationship between the 1.2.4 Complete Works 1.2.5 set operations 1.2. relations 1.3.1 ordered pairs and n-ary nature orderly relationship of the concept of group relations 1.3.2 Cartesian product 1.3.3 1.3.4 1.3.5 several special binary relations exercises Section III 1.3.6 the practice mapping 1.4.1 mapping concept and nature of the fourth quarter 1.4.2 map synthesis 1.4.3 or two one-to-one correspondence between the collection 1.4.4 practice the form of the second chapter of the proposition and the proposition Section I connectives true value proposition initial connectives 2.1.1 simple proposition and composite proposition 2.1.2 five basic true value connectives 2.1.3 2.1.4-2.2.1 propositional form exercises Section II the proposition form of tautology 2.2.2 truth table method 2.3.2 2.2.3. truth function 2.2.4 tautology role of 2.2.5 tautology the determination method 2.2.7 2.2.6 tautologies practice 2.3.1 Paradigm of the third quarter paradigm excellent paradigm 2.3.3 The first formal system of propositional logic exercises Chapter paradigm of the role and application two operations 2.3.5 2.3.4 3.1.1 propositional calculus axiom system 3.1.2 3.1.3 syntax and semantics of the form of system 3.1.4 3.1.5 Exercises the basis of the interpretation of Section II propositional language 2 1 the proposition language alphabets 3.2.2 propositional language formation rules 3.2.3 definition 3.2.4 practicing the third quarter propositional calculus axiom system 3.3.1 3.3.2 propositional calculus 3.3. provable formula in section VI of the natural deduction system for propositional calculus 3 Practice Section IV the inference rule 3.4.2 Exercises Section V 3.4.1 FPC FPC proposition semantics 3.6.1 true value assignment 3.6.2 tautologies and tautology Order of the 3.6.3 Exercises Chapter propositional logic system characteristics the Section I deductive 4.1.1 deductive compatibility 4.1.2 Exercises Section II Section III Reliability Section IV complete fifth Chapter V Festival independence narrow predicate logic Section 1 Overview 5.1.2 The first-order language alphabet 5.1.3 first-order formulas 5.1.4 5.1.1 first-order language of the first-order language constraint variables and free variables 5.1.5 provable in the basis of interpretation of exercises Section 2 predicate calculus axiom system 5.2.1 5.2.2 5.2.3 exercises predicate calculus of the third quarter of predicate calculus the natural inference systems in the fourth quarter FQC provable formula 5.4.1 FQC formula 5.4.2 Exercises Section V the narrow predicate logic semantics 5.5.1 The first-order language semantics 5.5.2 exercises Section VI before the beam paradigm 5.6.1 substituting Lemma practice before beam paradigm 5.6.3 5.6.2 sixth Section I of Chapter narrow predicate logic system features interpretation compatibility sexual Section II Section III Reliability Section IV complete Section V system equivalence Section VI with words and arithmetic symbols narrow predicate logic Main References Satisfaction guaranteed,or money back.