12- معرفی اجمالی منطق‌های چند ارزشی