|You are here: Home / Shop / Product Detail Page|
Quick Study Academic Outline: Logic (4-Page Laminated Study Chart)
"This QUICK STUDY® guide is an outline of the basic topics taught in introductory Logic courses. Due to its condensed format, use it as a study guide, but not as a replacement for assigned class work." — From "Note" on Page 4
Need More Info?Please contact us if you've got questions about this product.
LIKE NEW: This 4-page laminated chart is in excellent, like new condition. It has pre-punched holes for storing in a three-ring binder.
This condensed study guide has colorful sections dedicated to “the basic principles of propositional and syllogistic logic — plus quantification theory.” If your field of endeavor is to be Computer Programming, Mathematics or Science oriented a Logic course should be in your future to teach you the high level thought processes you will need for success. This handy quick study guide will serve as an on-hand shortcut to review the most important aspects of your logic program.
Page 1 covers Propositional Logic: Basic Elements, Truth-Table Method, Shorter Truth-Table Method, Truth-Tree Method.
Page 2 concludes the study of Propositional Logic: Proofs by Natural Deduction; and then covers Predicate Logic — Quantification Theory: Symbol Notation, Truth-Tree Method for Quantification Theory.
Pages 3 and 4 cover Syllogistic Logic: Forms of Statements, Syllogistic Reasoning, Immediate Inferences Based on Classical Square of Opposition, Enthymemes, and Sorites.
- BarCharts, Inc.
- Release Date:
- Weight (pounds):
- Dimensions (W”xL”xH”):
- Grade Level:
- BarCharts: QuickStudy Laminated Reference Guides
Products related to "Quick Study Academic Outline: Logic (4-Page Laminated Study Chart)"
"This classic text is as fresh and useful today as when first published. Noted for the economy of its presentation, it includes a wealth of basic and key results from all parts of mathematical logic." — Solomon Feferman, Stanford University
This book is a textbook for elementary college courses in logic and the methodology of deductive science. It is from a revised second edition of a classical work that was first published in Polish in 1936.
"This book is an introduction to modern logic, but it is quite different from other introductory books on the subject." — From the back cover
"The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally." — From the back cover
"Logic is the glue that binds together arguments and proofs in all domains. This text aims to teach the use of this fundamental and pervasive tool and exercise it thoroughly in applications that arise in computer science and mathematics." — From the back cover
"Around 1930 the type free lambda calculus was introduced as a foundation for logic and mathematics. Due to the appearance of paradoxes, this aim was not fulfilled, however. Nevertheless a consistent part of the theory turned out to be quite successful as a theory of computations. It gave an imporatnt momentum to early recusion theory and more recently to computer science." — From the back cover
"While many popular books have been written on the advances in our understanding of infinity, sparked by the set theory of Georg Cantor in the 1870s and incompleteness theorems of Kurt Gödel in the 1930s, such books generally dwell on a single aspect of either set theory or logic. The aim of this book is to explain the whole, in which set theory interacts with logic, and both begin to affect mainstream mathematics (the latter being quite a recent development, not yet given much space in popular accounts)." — From the dust jacket's inside front flap