يهدف المقرر إلى محاولة اكتشاف طريقة جديدة وبسيطة يتم من خلالها تعريف دوال الصدق فى حدود بعضها البعض .