Articles liés à Predicate Logic

Predicate Logic - Couverture souple

Pospesel, Howard

 
9780134862255: Predicate Logic
Couverture souple
ISBN 10 : 0134862252 ISBN 13 : 9780134862255
Editeur : Prentice-Hall, 1976

Synopsis

Book by Pospesel Howard

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Quatrième de couverture

This clearly written, new edition by Howard Pospesel extends to general statements the system developed in Propositional Logic, revised Third Edition. This new edition covers symbolization, proofs, counterexamples, and truth trees. These topics are presented in graded steps, beginning with the symbolization of categorical propositions and concluding with the properties of relations.

Examples and exercises are drawn from such sources as newspapers, television broadcasts, films, books, and exams. The book enhances students' ability to recognize and evaluate the predicate arguments they encounter outside the logic classroom. Logic is made accessible without sacrificing rigor.

Among the new and revised elements in the Second Edition:
  • Many new exercises and examples
  • A chapter on truth trees
  • New sections treating possible-world counterexamples, intensional contexts, quantifier scope, and quantifier order
  • An appendix on metatheory by William G. Lycan
Also, with this new Second Edition!

PredLogic, Windows-based software provides an environment in which students symbolize sentences, construct proofs of validity, devise counterexamples, and create truth trees. The program enables students to catch errors as they are made, and it offers hints for solving problems.

Présentation de l'éditeur

For courses in Introduction to Logic and Formal Logic.

This clearly written volume covers symbolization, proofs, counterexamples, and truth trees. These topics are presented in graded steps, beginning with the symbolization of categorical propositions and concluding with the properties of relations. This new edition includes 'PredLogic,' a CD-ROM-based tutorial for students.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Prentice-Hall
Date d'édition
1976
Langue
anglais
ISBN 10 
0134862252
ISBN 13 
9780134862255
Reliure
Broché
Nombre de pages
205
Coordonnées du fabricant
non disponible
Personne responsable
Riccardo Bacigalupo
riccardo.bacigalupo@sanoma.it

Sanoma Italia Via Arconati, 1 �
Milano
20135
Italie