در قضیه‌ی اول محال است عالم، نه حادث باشد و نه قدیم و محال است هم حادث باشد و هم قدیم پس منفصل «حقیقی» است و قضیه‌ی دوم، محال است هر دو تیم برنده شوند، اما می‌شود هیچ‌کدام برنده نشوند و نتیجه مساوی باشد، پس منفصل «غیرقابل جمع در صدق» است.