یه فرم دیگه که در بحث نرم افزار با شروع فاز مفاهیم باید درست بکنیم بحث توسعه روابط منطقی هست. یعنی ما باید روابط موجود بین واژگان رو براساس قواعد منطق توسعه بدیم و رابطه های بیشتر رو براساس قاعده های منطقی بدست بیاریم. انواع قواعد منطق: مثل قوائد مثلا فرض و حکم. قوائد مختلفی که وجود داره. در واقع عمده قواعد مربوط به مجموعه ها اینجا حاکم هست. میشه از عمده قواعد مربوط به مجموعه ها اینجا استفاده کرد.