Difference between revisions of "Simplification rule (Logic)"
Jump to navigation
Jump to search
m (links, bold, cat) |
m |
||
| Line 1: | Line 1: | ||
| − | The '''simplification rule''' in [[logic]] states that where a [[conjunction]] of two [[variable]]s 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 | + | The '''simplification rule''' in [[logic]] states that where a [[conjunction]] of two [[variable]]s 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 statment are true on their own. |
For example if the following is true: | For example if the following is true: | ||
Revision as of 22:29, August 31, 2008
The simplification rule in logic states that where a conjunction of two variables 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 statment 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