The logic book

dc.contributor.author	Bergmann, Merrie
dc.contributor.author	Moor, James
dc.contributor.author	Nelson, Jack
dc.date.accessioned	2024-09-17T08:21:13Z
dc.date.available	2024-09-17T08:21:13Z
dc.date.issued	2014
dc.identifier.isbn	978-0-07-803841-9
dc.identifier.uri	http://hdl.handle.net/20.500.14346/2368
dc.description	This is a text in deductive logic—more specifi cally, in formal or symbolic deductive logic. Chapters 1–5 are devoted to sentential logic, the branch of symbolic deductive logic that takes sentences as the fundamental units of logical analysis. Chapters 7–10 are devoted to predicate logic, the branch of symbolic deductive logic that takes predicates and individual terms as the fundamental units of logical analysis. Chapter 6 is devoted to the metatheory of sentential logic, while Chapter 11 is devoted to the metatheory of predicate logic. The hallmark of deductive logic is truth-preservation. Reasoning that is acceptable by the standards of deductive logic is always truth-preserving; that is, it never takes one from truths to a falsehood. The following syllogism provides an example of such reasoning:	en_US
dc.language.iso	en	en_US
dc.publisher	The McGrow-Hill Companiess	en_US
dc.subject	Syntax and symbolization	en_US
dc.subject	Sentential logic	en_US
dc.subject	Predicates, singular terms, and quantity expressions of english	en_US
dc.title	The logic book	en_US
dc.type	Kitab	en_US