Next: , Previous: , Up: Inference Rules   [Contents]

6.1.3 Simplification

Simplification says that if it is known that P and Q and R, etc. is known to be true, then P is true.

For instance, if it is known that ‘It is cloudy, and it is raining’, then simplification allows the inference of ‘It is cloudy’ and ‘It is raining’.

Simplification requires exactly one reference.