Science Fair Project Encyclopedia
Simplification (logic)
In logic, simplification is a valid simple argument of the form:
- A and B, therefore A
or
- A and B, therefore B
or in logical operator notation:
or
The argument has one premise, namely a conjunction, and one often uses simplification in longer arguments to make one of the conjuncts available. As a strategy it is fairly straightforward, so much so, it may have been overlooked in the past. Since A and B implies B and A, one form of the argument can be used to derive the other. An example in English:
- It's raining and it's pouring.
- Therefore it's raining.
Last updated: 05-18-2005 17:06:30
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details