First-order Logic

First-order Logic

4.11 - 1251 ratings - Source



An introduction to principles and notation of modern symbolic logic, for those with no prior courses. The structure of material follows that of Quine's Methods of Logic, and may be used as an introduction to that work, with sections on truth-functional logic, predicate logic, relational logic, and identity and description. Exercises are based on problems designed by authors including Quine, John Cooley, Richard Jeffrey, and Lewis Carroll. Annotation copyrighted by Book News, Inc., Portland, ORArguments, however, do not work like that: some premises are simply inadequate to yield yes-or-no answers to some questions. So the discovery of invalidity is more likely to show the inadequacy of the premises, which have turned out to be anbsp;...


Title:First-order Logic
Author: Leigh S. Cauman
Publisher:Walter de Gruyter - 1998-01-01
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA