هميشه هرعددى يا فرد . و يا منقسم به دو متساوى مىباشد ( كبرى )
هرعددى يا زوج . و يا غيرمنقسم به دو متساوى مىباشد ( نتيجه )
مثال شكل دوم
هميشه هرعددى يا فرد . و يا زوج است ( صغرى )
هيچگاه چنين نيست كه هرعددى يا منقسم به دو متساوى و يا زوج باشد . ( كبرى )
هيچگاه چنين نيست كه هرعددى يا فرد و يا غيرمنقسم به دو متساوى باشد . ( نتيجه )
ليكن علاوه بر آنكه كبرى سالبه است شرط صدق منع خلوّ هم در آن يافت نميشود . زيرا قضيه سالبه عدم منع خلو را مىرساند .
مثال شكل سوم
هرعددى يا زوج . و يا فرد است ( صغرى )
هميشه هرعددى يا زوج . و يا غيرمنقسم به دو متساوى مىباشد ( كبرى ) .
هرعددى يا فرد . و يا منقسم به دو متساوى مىباشد ( نتيجه ) .
مثال شكل چهارم
هميشه هرعددى يا زوج . و يا فرد است ( صغرى ) .
هرعددى يا غيرمنقسم به دو متساوى . و يا زوج است ( كبرى )
بعضى از اوقات يا هرعددى فرد . و يا منقسم به دو متساوى مىباشد ( نتيجه ) .