NationMaster - Encyclopedia: Conjunction elimination

FACTOID # 77: Moldova has one of the smallest artillery forces in Europe, and the highest rate in the world of death by powered lawnmower. Coincidence? Surely not.

Interesting mortality facts »

Home

Encyclopedia

WHAT'S NEW

RECENT ARTICLES

More Recent Articles »

SEARCH ALL

FACTS & STATISTICS Advanced view

Search encyclopedia, statistics and forums:

(* = Graphable)

Encyclopedia > Conjunction elimination

In logic, 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

 ( A ∧ B ) ∴ B

Results from FactBites:

Logical conjunction Summary (2184 words)
	In logic and mathematics, logical conjunction (usual symbol and) is a two-place logical operation that results in a value of true if both of its operands are true, otherwise a value of false.
	The analogue of conjunction for a (possibly infinite) family of statements is universal quantification, which is part of predicate logic.
	Conjunction elimination is another classically valid, simple argument form.

Search Encyclopedia.com (500 words)
	conjunction conjunction, in astronomy, alignment of two celestial bodies as seen from the earth.
	Conjunction of the moon and the planets is often determined by reference to the sun.
	When a body is in conjunction with the sun, it rises with the sun, and thus cannot be seen; its elongation is 0°.

More results at FactBites »

COMMENTARY

Share your thoughts, questions and commentary here

Want to know more?
Search encyclopedia, statistics and forums:

Feeds | Contact
The Wikipedia article included on this page is licensed under the GFDL.
Images may be subject to relevant owners' copyright.
All other elements are (c) copyright NationMaster.com 2003-5. All Rights Reserved.
Usage implies agreement with terms.