اقسام منطق منطق احتمالاتی منطق امری منطق توصیف منطق جبری منطق ریاضی منطق سه ارزشی منطق سه حالته منطق شهودی منطق فازی منطق فلسفی منطق کاربردی منطق کلاسیک...
36 KB (3,268 words) - 23:01, 14 April 2024
حساب گزارهای (redirect from منطق گزارهها)
اصول منطق گزارهای میپردازد. گزارهها و ترکیب آن با ادوات منطقی شکل میگیرد. گزارههای مورد توجه منطق گزارهها فقط گزارههای خبریست. در منطق کلاسیک...
53 KB (5,234 words) - 12:27, 4 November 2023
محمول (redirect from محمول (منطق ریاضیاتی))
(محمول در برابر موضوع با تبیین ماهیت و ذات موضوع یا جزئی از ماهیت موضوع). در منطق قدیم و در فلسفه هر گزاره را به دو بخشِ موضوع و محمول تقسیم میکنند. این نامگذاری...
4 KB (337 words) - 07:00, 16 May 2023
ارسطو (category تاریخ منطق)
رشتههای گوناگون، از جمله: فیزیک، متافیزیک، اخترشناسی، شعر، ادبیات، زیستشناسی، منطق، علم بیان، سیاست، دولت و اخلاق بودهاند. ارسطو به همراه سقراط و افلاطون از...
16 KB (943 words) - 19:18, 10 April 2024
جدل (redirect from مجادله (منطق))
استشهاد به امثله جمهور مقبول تر. روحالله عالمی (۱۳۸۹)، منطق، تهران: شرکت چاپ و نشر کتابهای درسی محمد خوانساری، منطق صوری، شابک 0 - 015 - 416 - 964...
3 KB (239 words) - 05:35, 12 May 2019
ابن سینا (category تاریخ منطق)
پزشک، ریاضیدان، اخترشناس، فیزیکدان، شیمیدان، جغرافیدان، زمینشناس، شاعر، منطقدان، فیلسوف، موسیقیدان و دولتمرد ایرانی و از مشهورترین و تأثیرگذارترینِ...
75 KB (5,766 words) - 07:04, 26 March 2024
پارادوکس (category مفهومها در منطق)
به هم باشد دو کلمه متضاد مثل : دور و نزدیک ، شروع و پایان ، پارادوکس در منطق به «حکم» یا احکامی ظاهراً صحیح. ویلیام کواین پارادوکسهای منطقی را به چهار...
9 KB (799 words) - 12:43, 12 November 2023
قیاس (redirect from قياس (منطق))
مقدمههای آن درست باشند، نتیجهٔ به دست آمده حتماً درست است. منظور از قیاس در منطق این است که هر گاه دو یا چند فرض را درست و مطمئن بدانیم و رابطهٔ این فرضها...
3 KB (315 words) - 03:49, 29 September 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
در ریاضیات و به خصوص در منطق ریاضی، جبر بولی (به انگلیسی: Boolean algebra) زیر مجموعهای از جبر است که در آن مقدار متغیرها، درست یا غلط میباشد که معمولاً...
8 KB (763 words) - 11:04, 31 October 2023