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


6.1.4 Conjunction

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.