منطق فازی یکی از اشکال منطق چند ارزشی است که با استدلال تقریبی سروکار دارد تا استدلال ثابت یا دقیق . در مقایسه با مجموعه های دودویی کلاسیک ، مقادیر صحت در متغیرهای منطق فازی طیفی را در بازه صفر و یک شامل می شوند. منطق فازی به منظور دربرگرفتن مفهوم صحت جزیی توسعه داده شده است.