مؤلف من قضايا يستلزم لذاته قولا آخر
A composition of propositions that, by its structure, entails a further proposition.
“Worldly things are originated” and “every originated thing requires a maker” are arranged to infer a maker of the world. The example illustrates entailment; whether the premises themselves are justified is a distinct question.
Technical debates about simple and compound proofs focus on what belongs to the inferential structure. Counting words is not enough; one must identify how the conclusion follows from the premises.