Premise 1: Every number divisible by 4 is divisible by 2.
Premise 2: 12 is divisible by 4.
Conclusion: 12 is divisible by 2.
The middle property—divisibility by 4—connects the particular number to a more general rule. The same inferential structure applies in different domains.
Opening interactive controls...
A worked example from numbers
Ḥujjah: Deriving a Conclusion from Known Judgments
Premise 1: Every number divisible by 4 is divisible by 2.
Premise 2: 12 is divisible by 4.
Conclusion: 12 is divisible by 2.
The middle property—divisibility by 4—connects the particular number to a more general rule. The same inferential structure applies in different domains.