Difference between revisions of "Simplification rule (Logic)"
Jump to navigation
Jump to search
m (links, bold, cat) |
DavidB4-bot (talk | contribs) (→top: Spelling/Grammar Check, typos fixed: For example → For example,) |
||
| (2 intermediate revisions by 2 users not shown) | |||
| 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: |
<blockquote> | <blockquote> | ||
| Line 7: | Line 7: | ||
</blockquote> | </blockquote> | ||
| − | then the two following | + | then the two following statements are also true: |
<blockquote> | <blockquote> | ||
Latest revision as of 17:33, August 22, 2016
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