Simplification [sim-pluh-fahy]  

Simplification

  [sim-pluh-fahy]
In mathematical logic, simplification (equivalent to conjunction elimination) is a valid argument and rule of inference which makes the inference that, if the conjunction A and B is true, then A is true, and B is true.

In formal language:

A and B vdash A
or
A and B vdash B

The argument has one premise, namely a conjunction, and one often uses simplification in longer arguments to derive one of the conjuncts.

An example in English:

It's raining and it's pouring.
Therefore it's raining.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)
This article is licensed under the GNU Free Documentation License.
Last updated on Monday May 26, 2008 at 17:11:35 PDT (GMT -0700)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Related Articles
Is there a constituency for tax simplification?
Nov 01, 1989; Is There a Constituency for Tax Simplification? A Colloquy On October 6, 1989, TEI President William M. Burk wrote to...
Read more with a free trial on HighBeam.com »
Congress puts brakes on sweeping tax simplification. (Tax Technical Corrections Act of 1995)
Apr 03, 1995; WASHINGTON -- This year's model of Congress' tax simplification bill -- for now -- is stripped-down legislation that deals only...
Read more with a free trial on HighBeam.com »
WIPO ASSIGNS PATENT TO CANON FOR "GEOMETRY SIMPLIFICATION APPARATUS, GEOMETRY SIMPLIFICATION METHOD, AND PROGRAM" (JAPANESE INVENTOR)
Jun 06, 2011; GENEVA, June 6 -- Publication No. WO/2011/064973 was published on June 03. Title of the invention: "GEOMETRY SIMPLIFICATION...
Read more with a free trial on HighBeam.com »
Topologically Consistent Line Simplification with the Douglas-Peucker Algorithm.
Jan 01, 1999; Introduction Polyline simplification is a map generalization technique that replaces a linear map feature with a less complex...
Read more with a free trial on HighBeam.com »
IRS chief backs simplification. (Commissioner Fred T. Goldberg Jr. supports tax simplification)
Aug 26, 1991; IRS Chief Backs Simplification NASHVILLE, Tenn. -- In a speech marked by frequent applause, IRS commissioner Fred T....
Read more with a free trial on HighBeam.com »
HighBeam Research, Inc. © Copyright 2009.

Search another word or see Simplificationon Dictionary | Thesaurus |Spanish
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT