Introduction and Elimination Rules
As a rule of inference, conjunction introduction is a classically valid, simple argument form. The argument form has two premises, A and B. Intuitively, it permits the inference of their conjunction.
- A,
- B.
- Therefore, A and B.
or in logical operator notation:
Here is an example of an argument that fits the form conjunction introduction:
- Bob likes apples.
- Bob likes oranges.
- Therefore, Bob likes apples and oranges.
Conjunction elimination is another classically valid, simple argument form. Intuitively, it permits the inference from any conjunction of either element of that conjunction.
- A and B.
- Therefore, A.
...or alternately,
- A and B.
- Therefore, B.
In logical operator notation:
...or alternately,
Read more about this topic: Logical Conjunction
Famous quotes containing the words introduction, elimination and/or rules:
“My objection to Liberalism is this—that it is the introduction into the practical business of life of the highest kind—namely, politics—of philosophical ideas instead of political principles.”
—Benjamin Disraeli (1804–1881)
“The kind of Unitarian
Who having by elimination got
From many gods to Three, and Three to One,
Thinks why not taper off to none at all.”
—Robert Frost (1874–1963)
“A scholar, in his Segmenta, left a note,
As follows, “The Ruler of Reality,
If more unreal than New Haven, is not
A real ruler, but rules what is unreal.””
—Wallace Stevens (1879–1955)