الگو:منطق

از ایران‌پدیا

نسخهٔ تاریخ ۲۷ اردیبهشت ۱۴۰۵، ساعت ۰۶:۰۷ توسط علی شاهرودی (بحث | مشارکت‌ها) (صفحه‌ای تازه حاوی «{{Navbox | name = منطق | title = منطق | state = {{{state<includeonly>|autocollapse</includeonly>}}} | bodyclass = hlist | group1 = شاخه‌های اصلی | list1 = * منطق کلاسیک * منطق غیرکلاسیک * منطق صوری * منطق فلسفی * منطق ریاضی | group2 = انواع منطق | list2 = * منطق گزاره‌ها * منطق مرتبه اول * منطق...» ایجاد کرد)

(تفاوت) → نسخهٔ قدیمی‌تر | نمایش نسخهٔ فعلی (تفاوت) | نسخهٔ جدیدتر ← (تفاوت)

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