| Line 1: |
Line 1: |
| − | 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. | + | 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> |
| Line 18: |
Line 18: |
| | John has an orange | | John has an orange |
| | </blockquote> | | </blockquote> |
| | + | |
| | + | [[Category:Logic]] |