به همین سبب در قضیه شرطیهمنفصل، هر یک از دو جزء را میتوان تالی یا مقدم نامید. این بدان سبب است که طبیعت اجزا در قضیه شرطیه متصل، این است که یک جزء، ملزوم و جزء دیگر، لازم آن است و همین امر، سبب تمایز طبعی و ترتب میان دو جزء میشود و همواره ملزوم بر لازم تقدم طبعی دارد، اما در قضیه شرطیهمنفصل به تعاند و عدم ارتباط میان دو جزء و جدایی آنها حکم میشود و رابطه تلازم و ترتب وجود ندارد؛ بنابراین، هریک میتواند لازم یا ملزوم دیگری باشد. با این حال، به تبعیت از قضیه شرطیه متصل، جزء اول «مقدم» و جزء دوم را «تالی» مینامند.