Difference between revisions of "Simplification rule (Logic)"
Jump to navigation
Jump to search
m |
m (links, bold, cat) |
||
| Line 1: | Line 1: | ||
| − | The simplification rule in logic states that where a conjunction of two | + | 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 stamtement are true on their own. |
For example if the following is true: | For example if the following is true: | ||
| Line 18: | Line 18: | ||
John has an orange | John has an orange | ||
</blockquote> | </blockquote> | ||
| + | |||
| + | [[Category:Logic]] | ||
Revision as of 22:27, 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 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