کاربردی سازی و تسهیل یادگاری منطق با کتاب جدید «فرهنگ‌نامه منطق»