ابتدا به چند تعریف زیر توجه کنید.
منطق کلاسیک: منطقی ست که در آن گزاره ها فقط ارزش راست یا دروغ دارند که آنرا منطق ۰ و ۱ می نامند.
منطق چند مقداره: منطقی که علاوه بر ۰ و ۱ چند مقدار دیگر را نیز اختیار می کند.
منطق بینهایت مقداره: در این منطق ارزش گزاره ها می تواند هر عدد حقیقی بین ۰ تا ۱ باشد.
منطق فازی: نوعی از منطق بینهایت مقداره و در حقیقت یک ابتکار برای بیان رفتار مطلوب سیستم ها با استفاده از زبان روزمره. در واقه منطق فازی یک منطق پیوسته است که از استدلال تقریبی بشر الگوبرداری کرده است