Propositional Logic
Introduction to Reasoning
Subjects to be Learned
- tautology
- contradiction
- contingency
Contents
Introduction to Reasoning
Logical reasoning is the process of drawing conclusions from premises using rules of inference.
Here we are going to study reasoning with propositions. Later we are going to see reasoning
with predicate logic, which allows us to reason about individual objects. However, inference
rules of propositional logic are also applicable to predicate logic
and reasoning with
propositions is fundamental to reasoning with predicate logic.
These inference rules are results of observations of human reasoning
over centuries.
Though there is nothing absolute about them, they have contributed
significantly in the scientific and engineering progress the mankind have made.
Today they are universally accepted as the rules of logical reasoning and they should
be followed
in our reasoning.
Since inference rules are based on identities and implications, we are going to study
them first. We start with three types of proposition which are used to define the meaning of
"identity"
and "implication".
Types of Proposition
Some propositions are always true regardless of the truth value of its component
propositions.
For example (P P)
is always true regardless of the value of the proposition P.
A proposition that is
always true called a tautology.
There are also propositions that are always false such as
(P P).
Such a proposition is called a contradiction.
A proposition that is neither a tautology nor a contradiction is called
a contingency.
For example (P Q)
is a contingency.
These types of propositions play a crucial role in reasoning.
In particular every inference rule is a tautology as we see in
identities
and
implications.
Test Your Understanding of Tautology, Contradiction and Contingency
For each of the following propositions, indicate what they are.
Click Tautology, Contradiction or Contingency, then Submit.
Next -- Identities
Back to Schedule
Back to Table of Contents