Simplification rule (Logic)
This is an old revision of this page, as edited by Toffeeman (talk | contribs) at 17:13, August 31, 2008. It may differ significantly from current revision.
The simplification rule in logic states that where a conjunction of two varaibles is true then both variables are true individually. In plainer English this means that where a statment using "and" is true the separate parts of the stamtement are true on their own.
For example if the following is true:
John has an apple and an orange
then the two following statments are also true:
John has an apple
and
John has an orange