Composition

Composition

is the form of valid inference of the propositional calculus from A ? B and A ? C to A ? BC. The law of composition is the theorem of the propositional calculus

[p ? q][p ? r] ? [p ? qr].

— A.C.

Fuente: The Dictionary of Philosophy