قضيهاي را كه محمول براي موضوع به شرط وجود وصفي ضروري باشد، مشروطه عامه مي نامند و ضرورت آن را ضرورت وصفي خوانند، زيرا محمول به شرط اين وصف براي موضوع ضروري است، خواه بدون وصف براي موضوع ضروري باشد يا نباشد، مانند «هر نويسندهاي در حال نوشتن دست هايش حركت مي كند بالضرورة». در اين مورد، موضوع قضيه ذات نويسنده صرف نظر از نويسندگي او نيست كه به طور عادي حركت دست براي او ضروري نباشد، بلكه ذات نويسنده با وصف نويسندگي كه بالفعل عارض بر او است، موضوع قضيه واقع شده است.بنابراين، محمول براي چنين موضوعي (ذات با وصف) ضروري است. اگر نويسندهاي در شرايط عادي ، در حال نوشتن دستهايش را حركت ندهد، مستلزم تناقض است.
ضرورت به شرط محمول
يكي ديگر از ضرورتهايي كه در منطق مطرح مي شود، ضرورت به شرط محمول است. وقتي محمولي با موضوعي در خارج متحد شد و آن دو به يك وجود