اقسام منطق منطق احتمالاتی منطق امری منطق توصیف منطق جبری منطق ریاضی منطق سه ارزشی منطق سه حالته منطق شهودی منطق فازی منطق فلسفی منطق کاربردی منطق کلاسیک...
36 KB (3,268 words) - 23:01, 14 April 2024
پارادوکس (category مفهومها در منطق)
نزدیک ، شروع و پایان ، پارادوکس در منطق به «حکم» یا احکامی ظاهراً صحیح. ویلیام کواین پارادوکسهای منطقی را به چهار دسته تقسیم کرد: پارادوکسهای حقیقی به...
9 KB (799 words) - 12:43, 12 November 2023
گزاره (به انگلیسی: Proposition)؛ در دانش منطق، قضیه یا جملهای است خبری که میتواند درست یا نادرست باشد، هر چند که درستی یا نادرستی آن بر ما پوشیده باشد...
18 KB (1,690 words) - 02:59, 8 January 2024
منطق مرتبهاول (به انگلیسی: First-order logic) مجموعهای از سیستمهای صوری است که به آن منطق محمولات یا منطق گزارهای (Predicate logic)، منطق سوری (به...
5 KB (383 words) - 20:08, 18 March 2022
منطق فازی یا «منطق تشکیک» (به انگلیسی: fuzzy logic) شکلی از منطقهای چندارزشی بوده که در آن ارزش منطقی متغیرها میتواند هر عدد حقیقی بین ۰ و ۱ و خود آنها...
26 KB (2,153 words) - 13:56, 3 November 2023
به تازی علم اوسط هم میخواندند. اصول علم ریاضی چهار نوع است: یکی هندسه، دوم علم عدد یا حساب یا شمار، سوم نجوم (احکام تنجیم و ستارهبینی بخشی از آن نیست)،...
8 KB (789 words) - 15:00, 22 September 2023
منطق ریاضی یا منطق جدید (به انگلیسی: Mathematical logic) شاخهای از ریاضیات است که به پیوند ریاضی و منطق میپردازد. ریشههای پیدایش این منطق به کارهای...
4 KB (265 words) - 12:58, 22 February 2024
حساب مسندات تکین حساب گزارهای ادات منطقی جدول ارزش محمولات منطق دسته یکم سورها منطق دسته دوم موجهات تکلیفی شناختی زمانمند اعتقادی غیرکلاسیکهای دیگر محاسبهپذیری...
31 KB (64 words) - 07:52, 27 September 2020
حساب مسندات تکین حساب گزارهای ادات منطقی جدول ارزش محمولات منطق دسته یکم سورها منطق دسته دوم موجهات تکلیفی شناختی زمانمند اعتقادی غیرکلاسیکهای دیگر محاسبهپذیری...
6 KB (565 words) - 02:30, 13 November 2023
سلطنت ملکه ویکتوریا، علیه دشمنان امپراتوری، تبلیغات منفی میشد. جنگ جهانی دوم نه تنها جنگ بمبها و گلولهها، بلکه جنگ واژهها و تبلیغات بود. تهاجم تبلیغاتی...
17 KB (1,481 words) - 04:04, 3 March 2024
استقرا (redirect from منطق استقرایی)
صورت قطعی از نتیجه حمایت میکنند. در منطق کلاسیک استدلال استقرایی را استدلال از جزء به کل تعریف میکردند که در منطق جدید این تعریف پذیرفته نیست. بعضی انواع...
8 KB (775 words) - 16:40, 1 October 2023