الگو:منطق ریاضی

ن ب و منطق ریاضی
عمومی	زبان صوری قاعده ساخت سیستم صوری سیستم صوری اثبات صوری معناشناسی صوری فرمول‌های خوش فرم مجموعه عنصر رده منطق کلاسیک اصل موضوع استنتاج طبیعی قواعد استنتاج رابطه قضیه استلزام سیستم اصل موضوعه ای نظریه نوع‌ها نماد نحو نگره
منطق سنتی	گزاره استنباط برهان اعتبار استدلال منطقی قیاس مربع ضدیت نمودار ون
حساب گزاره‌ای جبر بولی	تابع بولی حساب گزاره‌ای فرمول گزاره‌ای رابط‌های منطقی جدول ارزش
منطق مسند	حساب محمولات سور محمول مرتبه دوم حساب محمولات تکین
نظریه طبیعی مجموعه‌ها	مجموعه مجموعه تهی شمارش مصداقیت مجموعه متناهی مجموعه نامتناهی زیرمجموعه مجموعه توانی مجموعه شمارا مجموعه ناشمارا مجموعه بازگشتی دامنه یک تابع برد نگشات تابع عمل دوتایی زوج مرتب
نظریه مجموعه‌ها	بنیان‌های ریاضیات نظریه مجموعه‌های زرملو-فرانکل اصل موضوع انتخاب نظریه مجموعه‌های عمومی نظریه مجموعه‌های کریپکی-پلاتک نظریه مجموعه‌های فون نیومان-برنایز-گودل نظریه مجموعه‌های مورس-کلی نظریه مجموعه‌های تارسکی-گروتندیک
نظریه مدل	ساختار تعبیر مدل های نااستاندار نظریه مدل متناهی ارزش صدق اعتبار (منطق)
نظریه برهان	اثبات صوری سیستم صوری سیستم صوری قضیه استلزام قواعد استنتاج نحو
نظریه رایانش‌پذیری	بازگشت مجموعه بازگشتی مجموعه به طور بازگشتی شمارش پذیر مسئله تصمیم تز چرچ-تورینگ تابع محاسبه پذیر تابع بازگشتی بدوی

توضیحات الگو

انتخاب باز یا بسته بودن الگو

برای نمایش الگو به صورت تاشده از فرمولی به شکل {{منطق ریاضی |state=collapsed}} استفاده کنید.

برای نمایش الگو به حالت باز از {{منطق ریاضی |state=expanded}} استفاده کنید.

اگر می‌خواهید این الگو فقط زمانی که الگوی هم‌نوع آن در صفحه باشد شکل تاشده به‌خود بگیرد از {{منطق ریاضی |state=autocollapse}} استفاده کنید.

اگر حالتی را تعیین نکرده باشید (پارامتر state بین کد الگو را ببینید)، autocollapse یا همان تاشدگی خودبه‌خودی، حالت پیش‌فرض است.

ن ب و الگوهای منطق
انواع منطق	منطق کلاسیک منطق ریاضی متامنطق منطق غیر-کلاسیک منطق فلسفی
الگوهای دیگر	نمادهای منطقی رایج توابع منطق ادات منطقی پارادوکس‌های منطقی حقیقت منطقی نظریه مجموعه‌ها قواعد تبدیل
منطق

See also