# Deductive Logic

## Introduction

—Tools for evaluating consistency

Logic makes consistency visible.

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

 Completion status: this resource is considered to be complete.
 Attribution: User lbeaumont created this resource and is actively using it. Please coordinate future development with this user if possible.

The objectives of this course are to help students:

1. Learn terms commonly used in logical analysis,
2. Recognize statements that form propositions,
3. Create propositions and construct valid arguments,
4. Learn to recognize and evaluate truth functions, also known as truth operations,
5. Determine the truth-value of various propositions,
6. Use logical connectives to transform systems of truth functions and propositions into alternative statements having equivalent truth-values,
7. Analyze systems of proposition to evaluate the consistency of their truth-values,
8. Solve logic puzzles,
9. Transform certain natural language sentences into equivalent symbolic statements,
10. Begin establishing a foundation for studying more complex logical analysis.

This course is part of the Applied Wisdom curriculum and of the Clear Thinking curriculum.

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.[1][2] 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.