Difference between revisions of "Simplification rule (Logic)"
Jump to navigation
Jump to search
(New page: 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 us...) |
DavidB4-bot (talk | contribs) (→top: Spelling/Grammar Check, typos fixed: For example → For example,) |
||
| (4 intermediate revisions by 3 users not shown) | |||
| 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 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> | ||
| Line 18: | Line 18: | ||
John has an orange | John has an orange | ||
</blockquote> | </blockquote> | ||
| + | |||
| + | [[Category:Logic]] | ||
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