cn - GNU Aris Manual
Description: GNU Aris Manual

Next: hs, Previous: sm, Up: Inference Rules

#### 6.1.4 Conjunction

- P
- Q
- R
- ———–
- P ^ Q ^ R

What conjunction is saying is the exact opposite of simplification. If P is known, and Q is known, and R is know, etc. then P and Q and R, etc. is also known.

Take for example, that it is known that ‘`I don't like green eggs and ham`’, and ‘`I would not eat them in a house`’, and ‘`I would not eat them with a mouse`’. Conjunction allows us to infer that ‘`I don't like green egss and ham, and I would not eat them in a house, and I would not eat them with a mouse.`’.

Conjunction requires at least two references.