View source for Simplification rule (Logic)

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:

<blockquote>
John has an apple and an orange
</blockquote>

then the two following statements are also true:

<blockquote>
John has an apple
</blockquote>

and 

<blockquote>
John has an orange
</blockquote>

[[Category:Logic]]