Difference between revisions of "Simplification rule (Logic)"
Jump to navigation
Jump to search
m |
m (sp) |
||
| 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 | + | 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 statement using "and" is true the separate parts of the statement are true on their own. |
For example if the following is true: | For example if the following is true: | ||
| Line 7: | Line 7: | ||
</blockquote> | </blockquote> | ||
| − | then the two following | + | then the two following statements are also true: |
<blockquote> | <blockquote> | ||
Revision as of 21:59, October 10, 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 statement using "and" is true the separate parts of the statement are true on their own.
For example if the following is true:
John has an apple and an orange
then the two following statements are also true:
John has an apple
and
John has an orange