Search the Kids Internet
Encyclopedia > Conjunction elimination
Article Content
Conjunction elimination
Conjunction elimination is the inference that, if the conjunction A and B is true, then A is true, and B is true.
For instance, if it's true that it's raining, and I'm inside, then one may assert either term of the conjunction alone: it's raining, or I'm inside.
Formally:
( A ∧ B ) ∴ A
or
( A ∧ B ) ∴ B
All Wikipedia text is available under the terms of the GNU Free Documentation License
|
Search Encyclopedia
|
Featured Article
|