الگو:منطق

ن ب و منطق
شاخه‌های اصلی	منطق کلاسیک منطق غیرکلاسیک منطق صوری منطق فلسفی منطق ریاضی
انواع منطق	منطق گزاره‌ها منطق مرتبه اول منطق چندارزشی منطق فازی منطق موجهات منطق شهودی منطق زمانی
مفاهیم پایه	گزاره استدلال قیاس صدق مغالطه
نظریه‌ها و ابزارها	نظریه برهان نظریه مدل حساب گزاره‌ها حساب محمول‌ها
حوزه‌های مرتبط	فلسفه ریاضیات علوم رایانه هوش مصنوعی
ردهٔ منطق