청구기호 |
BC108 .R47 2006eb |
형태사항 |
xiii, 225 p. : ill. ; 23 cm.
|
언어 |
English |
서지주기 |
Includes bibliographical references (p. 218-219) and index.
|
내용 |
Propositions and arguments -- Connectives and argument forms -- Truth tables -- Trees -- Vagueness and bivalence -- Conditionality -- Natural deduction -- Predicates, names, and quantifiers -- Models for predicate logic -- Trees for predicate logic -- Identity and functions -- Definite descriptions -- Some things do not exist -- What is a predicate? -- What is logic?
|
주제 |
Logic.
|
보유판 및 특별호 저록 |
Original 0415400678 0415400686 , 63115330
|
ISBN |
0203645375 (electronic bk.)
9780203645376 (electronic bk.)
|