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:
“For the introduction of a new kind of music must be shunned as imperiling the whole state; since styles of music are never disturbed without affecting the most important political institutions.”
—Plato (c. 427–347 B.C.)
“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)
“There is all the difference in the world between departure from recognised rules by one who has learned to obey them, and neglect of them through want of training or want of skill or want of understanding. Before you can be eccentric you must know where the circle is.”
—Ellen Terry (1847–1928)