هدف از قضیه بیز (bayes theorm) در فرم فازی است . بدین جهت ابتدا به بیان مطالبی در رابطه با منطق دو ارزشی می پردازیم سپس منطق دو ارزش را جبری نموده و با بسط مطلب ، روی منطق های چند ارزشی، جبرهای چند ارزشی (در فصل 2 بطور کامل به جبرهای چند ارزشی پرداخته شده است ) را مطرح می کنیم. آنگاه بحث را روی مجموعه هایی با کرانهای نادقیق (مجموعه فازی) تعمیم می دهیم. در این تعمیم از -t نرمها بعنوان رابط استفاده کرد تا بدینوسیله با عنوان فرمولهای فازی، درجه اطمینان فرمولهای فازی و بعد از آن درجه اطمینان مشروط انها را ارئه نماییم. سپس با استفاده از این نتایج به هدف نهایی خواهیم پرداخت .