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