منطق در کنار ریاضیات و فلسفه، قدیمی‌ترین و در عین حال مدرن‌ترین دانش بشری است. در مهندسی دانش، استنتاج منطقی در کنار بنیان‌های فلسفی و مدل‌های ریاضی نقش اساسی در پردازش اطلاعات و استخراج دانش دارد. بخش عمده‌ای از روش‌های رسمی‌طوری و معنایی در هوش‌مصنوعی نیز به طور عمده به منطق (به خصوص منطق‌های درجه‌ی اول، توصیفی، فازی، و گزاره‌ها) می‌پردازد.

کتاب «منطق: مقدمه‌ای بسیار کوتاه» نوشته‌ی گراهام پریست (انتشارات دانشگاه اکسفورد، سال ۲۰۰۰)، دید کلی و مناسب به افرادی می‌دهد که درگیر موضوع منطق نبوده‌اند، با این حال به آن برای بازنمایی و مهندسی دانش نیازمند هستند. کتاب به زبانی ساده، توسط استاد فلسفه، نه‌تنها به منطق‌های کلاسیک (و پرکاربرد در علوم کامپیوتر) مانند منطق درجه اول و گزاره‌ای می‌پردازند، بلکه در ادامه مفاهیم مدرن‌تر منطق مانند مُدال‌ها، شرط و قاعده، زمان، منطق احتمالات، تئوری تصمیم و دیگر موارد را نیز معرفی خواهد نمود.

ساختار منظم کتاب، متن ساده و آموزشی و زبان ریاضی‌وار (هر چند ساده) از ویژگی‌های مثبت کتاب است. با توجه به حجم کم کتاب (حدود ۱۶۰ صفحه)، در فصل چهاردهم منابع بیش‌تر و جزیی‌تر برای موضوع‌های مطرح شده ارائه می‌شود.

این کتاب به زبان فارسی نیز، با نام «منطق» (مجموعه کتاب‌های مختصر و مفید) ترجمه‌ی بهرام اسدیان، توسط انتشارات ماهی منتشر شده است.