قابل استفاده برای دانش آموزان ودانش جویان فلسفه ، کامپیوتر وریاضی

 

ابتدا به چند تعريف زير توجه کنيد.
منطق کلاسيک: منطقي ست که در آن گزاره ها فقط ارزش راست يا دروغ دارند که آنرا منطق ? و ? مي نامند.
منطق چند مقداره: منطقي که علاوه بر ? و ? چند مقدار ديگر را نيز اختيار مي کند.