Articoli correlati a Elements of Deductive Inference: An Introduction to...

Elements of Deductive Inference: An Introduction to Symbolic Logic - Rilegato

Bessie, Joseph; Glennan, Stuart

 
9780534551216: Elements of Deductive Inference: An Introduction to Symbolic Logic
Rilegato
ISBN 10: 0534551211 ISBN 13: 9780534551216
Casa editrice: Wadsworth Pub Co, 1999

Sinossi

The text covers elementary logic, from statement logic through relational logic with identity and function symbols. The authors acquaint students with formal techniques at a level appropriate for undergraduates, but extends far enough and deep enough into the subject that it is suitable for a brief first-year graduate course. The text covers full and brief truth tables, and presents the method of truth (consistency) trees and natural deduction for the whole of elementary logic. The text's organization allows instructors to cover just statement logic, or statement logic combined with various extensions into predicate logic: monadic logic with or without identity, or the preceding plus relational logic with or without identity and with or without function symbols. At each stage, the instructor may elect to pursue truth trees and/or natural deduction. A final chapter provides a perspective for further study and applications of logic. The text may be used with or without the accompanying software.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Bessie Joseph Glennan Stuart

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Wadsworth Pub Co
Data di pubblicazione
1999
Lingua
Inglese
ISBN 10 
0534551211
ISBN 13 
9780534551216
Rilegatura
Copertina rigida
Numero di pagine
479
Contatto del produttore
non disponibile
Persona responsabile
non disponibile