| 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 statment are true on their own. | + | 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: |
| | | | |
| | <blockquote> | | <blockquote> |
| Line 7: |
Line 7: |
| | </blockquote> | | </blockquote> |
| | | | |
| − | then the two following statments are also true: | + | then the two following statements are also true: |
| | | | |
| | <blockquote> | | <blockquote> |