What inferential principle is shared by idhā mātū wa-hum muwaḥḥidūn and bi-ghayri iḥāṭah?

Language of Creed: Negation, Restriction and Implication

• Both cancel the main assertion entirely
• Both make the main claim irrelevant
• Both qualify a claim and prevent an unrestricted inference
• Neither passage contains a qualification