Simplification rule (Logic)
This is the current revision of Simplification rule (Logic) as edited by DavidB4-bot (talk | contribs) at 17:33, August 22, 2016. This URL is a permanent link to this version of this page.
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