sm - GNU Aris Manual
Description: GNU Aris Manual

Next: cn, Previous: ad, Up: Inference Rules

#### 6.1.3 Simplification

- P ^ Q ^ R ^ ...
- ———–
- P (or Q, or R, or ...)

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.