# Deductive Logic
## Introduction

—Tools for evaluating consistency
Deductive logic provides a system of tools and techniques that allow the truth-values of certain classes of statements—known as propositions— to be evaluated for consistency. Beginning with propositions known to be true or false, deductive logic allows us to derive other statements with known truth-values. It also allows us to identify incorrectly attributed truth-values and inconsistencies.
Learning deductive logic provides a basic theoretical foundation that is helpful when studying more complex (and less exact) forms of logic.
Objectives
The objectives of this course are to help students:
* Learn terms commonly used in logical analysis,
* Recognize statements that form propositions,
* Create propositions and construct valid arguments,
* Learn to recognize and evaluate truth functions, also known as truth operations,
* Determine the truth-value of various propositions,
* Use logical connectives to transform systems of truth functions and propositions into alternative statements having equivalent truth-values,
* Analyze systems of proposition to evaluate the consistency of their truth-values,
* Solve logic puzzles,
* Transform certain natural language sentences into equivalent symbolic statements,
* Begin establishing a foundation for studying more complex logical analysis.
The course contains many hyperlinks to further information. Use your judgment and these link following guidelines to decide when to follow a link, and when to skip over it. Each of the top level headings below are linked to course materials; it is important to follow these links.
This course is part of the Applied Wisdom curriculum and of the Clear Thinking curriculum.
If you wish to contact the instructor, please click here to send me an email or leave a comment or question on the discussion page.
This quick reference on logic may provide a helpful summary and reference.

## Non-contradiction

Aristotle's Law of non-contradiction can be stated as:
   The most certain of all basic principles is that contradictory propositions are not true simultaneously.
Aristotle says that without the principle of non-contradiction we could not know anything that we do know. This principle forms the foundation of reason, and especially of deductive logic. The goal of deductive logic is to derive the most powerful claims possible within the law of non-contradiction.

## Some subjects about logic

* Truth Functions
* Arguments and Validity
* Inference Rules
* Equivalent Schemata
* Categorical Sentence Schemata
* Logic Puzzles

## Further Reading

Many books on logic include sections on deductive logic. Search for these and choose any that seem helpful. The following books were used to develop this course.
* Michalos, Alex C. (November 1, 1969). Principles of Logic. Prentice Hall. pp. 433. ISBN 978-0137094028.
* Copi, Irving M.; Cohen, Carl (June 20, 2001). Introduction to Logic. Prentice Hall. pp. 647. ISBN 978-0130337351.
* Weston, Anthony (November 14, 2008). Rulebook for Arguments. Hackett Publishing Co, Inc. pp. 104. ISBN 978-0872209541.
* Van Cleave, Matthew J.. Introduction to Logic and Critical Thinking. BCcampus OpenEd. pp. 242.
* Formal Logic, Written by volunteers and editors at Wikibooks