«ولفظة «لو» و«إن» و«إذا» في الاتصال»
The particles law, in, and idhā are used for connective conditionals.
They indicate a connective construction but do not, merely by themselves, necessarily mark a universal or particular scope. Thus “If Zayd is human, he is an animal” expresses a connection without an explicit universal quantifier.
Their nuances differ in Arabic usage, including suppositional or temporal force, but the current logical discussion uses them chiefly to identify connection, not to provide a complete syntactic treatise.