First-order Logic: An Introduction
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, OR
What people are saying - Write a review
We haven't found any reviews in the usual places.
Accordingly Albert Alice antecedent argument is valid biconditional byQN chain rule claim clusion components compound conditional proof conditional statement conjunction consequent context deduction denial derive diagram discharged disjunction double flagging double negation duction establish everything example existentially quantified fallacy first-order logic formal George George Eliot gument Henry identical instance interchangeable introduced invalid argument Leibniz's law loves Mary ment Modus Ponens modus tollens NAND needed open branch open sentence p a q p v q pair PREM for CP premise principles of inference problem prove pseudoname q PREM quantified statement Quentin raining reader reasoning reductio Reminders for Chapter rules of inference rules of passage scope SIMP someone spelling star step in proof subproof symbols tells theorem tion true truth table truth tree truth-functional truth-tree universally quantified variable of quantification