منطق ریاضی یا منطق جدید (به انگلیسی: Mathematical logic) شاخهای از ریاضیات است که به پیوند ریاضی و منطق میپردازد. ریشههای پیدایش این منطق به کارهای...
4 KB (267 words) - 13:57, 9 June 2024
منطق موجود است. اقسام منطق منطق احتمالاتی منطق امری منطق توصیف منطق جبری منطق ریاضی منطق سه ارزشی منطق سه حالته منطق شهودی منطق فازی منطق فلسفی منطق کاربردی...
37 KB (3,297 words) - 19:05, 11 July 2024
دانش مورد نیاز است، منطق فازی میکوشد آنها را به صورتی منظم، منطقی و به کمک یک مدل ریاضی بایکدیگر هماهنگ گرداند. پس از ۱۹۶۵، منطق فازی بیش از بیست سال...
26 KB (2,153 words) - 13:56, 3 November 2023
محمول (redirect from محمول (منطق ریاضی))
(محمول در برابر موضوع با تبیین ماهیت و ذات موضوع یا جزئی از ماهیت موضوع). در منطق قدیم و در فلسفه هر گزاره را به دو بخشِ موضوع و محمول تقسیم میکنند. این نامگذاری...
4 KB (336 words) - 05:50, 9 July 2024
منطق مرتبهاول (به انگلیسی: First-order logic) مجموعهای از سیستمهای صوری است که به آن منطق محمولات یا منطق گزارهای (Predicate logic)، منطق سوری (به...
5 KB (383 words) - 20:08, 18 March 2022
ابن سینا (category تاریخ منطق)
میلادی/۳۷۰–۴۲۸ قمری) همهچیزدان، پزشک، ریاضیدان، اخترشناس، فیزیکدان، شیمیدان، جغرافیدان، زمینشناس، شاعر، منطقدان، فیلسوف، موسیقیدان و دولتمرد ایرانی...
85 KB (6,324 words) - 21:15, 2 September 2024
در منطق ریاضی، یک نظریه (همچنین به آن نظریه صوری هم می گویند) مجموعه ای از احکام به زبان صوری است. اغلب دستگاه استنتاجی بر اساس بستر فهمیده می شود. یک...
2 KB (154 words) - 07:54, 12 May 2024
حساب گزارهای (redirect from منطق گزارهها)
(۱۳۸۳)، منطق ریاضی، انتشارات هرمس با همکاری مرکز بینالمللی گفتگوی تمدنها، شابک ۹۶۴-۳۶۳-۲۲۹-۶ گزاره (منطق) گزارهنما منطق مرتبه صفر منطق مرتبه اوّل منطق مرتبه...
53 KB (5,260 words) - 12:27, 4 November 2023
سازگاری (یا همخوانی) در منطق به معانی گوناگونی بهکار میرود. سادهترین معنای آن نبود تناقض (یا ناهمخوانی) در نظام است. مشارکتکنندگان ویکیپدیا. «Consistency»...
611 bytes (32 words) - 23:19, 4 February 2021
کورت گودل (category منطقدانان اهل اتریش)
که در حضور شلیک کتاب «مقدمهای بر فلسفه ریاضی» راسل را میخواندند، به منطق ریاضی علاقهمند شد. او منطق ریاضی را علمی مقدم بر علوم دیگر میدانست که شامل...
14 KB (1,003 words) - 19:01, 14 January 2024
استقرا (redirect from منطق استقرایی)
صورت قطعی از نتیجه حمایت میکنند. در منطق کلاسیک استدلال استقرایی را استدلال از جزء به کل تعریف میکردند که در منطق جدید این تعریف پذیرفته نیست. بعضی انواع...
8 KB (775 words) - 12:58, 24 August 2024