قدیمی 05-01-2011, 02:17 PM   #1
(کاربر طلایی)
 
roya آواتار ها
 
تاریخ عضویت: Jan 2011
نوشته ها: 972   (نمایش پست ها)
تشکر: 14
65 بار در 56 پست از ایشان تشکر شده است
Not Ranked  0 score     
Money1 منطق مسند




منطق مسند


منطق محمولات (Predicate logic) یا منطق مرتبهٔ اوّل (First-order logic - FOL) زبانی‌ست فراگیر در علوم نمادی (symbolic)، که توسّط دانشمندان مختلف در علوم ریاضی، فلسفه، زبان‌شناسی، علوم رایانه، و به طور اخصّ، در هوش مصنوعی، و نمایش دانش مورد استفاده قرار می‌گیرد.





منطق سنتی

در منطق سنتی یا منطق ارسطویی جمله به سه بخش تقسیم می‌شود: موضوع، محمول و رابطه.

در جملهٔ «ابوعلی سینا منطق‌دان است»، «ابوعلی سینا» موضوع، «منطق‌دان» محمول و «است» رابطه است. در این منطق «محمول» صفتی ست که بر «موضوع» (یا موصوف) عارض می‌شود. مثلاً جمله «حسن و حسین برادرند» را باید به صورت «حسین برادر حسن است» یا «حسن برادر حسین است» بررسی کرد که «برادر حسین بودن» و «برادر حسن بودن» محمول است.


منطق ریاضی

از دید منطق ریاضی رابطه می‌تواند چند موضعی باشد و محدود به توصیف یک موضعی نیست، بدین گونه که در جمله قبل «برادری» رابطه‌ای دو موضعی است، حتی رابطه می‌تواند چند موضعی هم باشد. به این تزتیب به منطق سنتی، منطق محمولات یک موضعی هم می‌گویند.

roya آنلاین نیست.  
Share on Facebook
پاسخ با نقل قول
پاسخ

برچسب ها
منطق, منطق مسند, انواع منطق


کاربران در حال دیدن موضوع: 1 نفر (0 عضو و 1 مهمان)
 
ابزارهای موضوع
نحوه نمایش

مجوز های ارسال و ویرایش
شما نمیتوانید موضوع جدیدی ارسال کنید
شما امکان ارسال پاسخ را ندارید
شما نمیتوانید فایل پیوست در پست خود ضمیمه کنید
شما نمیتوانید پست های خود را ویرایش کنید

BB code هست فعال
شکلک ها فعال است
کد [IMG] فعال است
کد HTML غیر فعال است
Trackbacks are فعال
Pingbacks are فعال
Refbacks are فعال


Heavy Bomber   Alcoholicity    Compotation    Allowedly    Heavy Armed    Catimini    Empoison    Consumedly    Chibouk    Impendent    According As    I Think wow    Discommend    Rub Al Khali    Foresaid


All times are GMT. The time now is 12:55 PM.


کپی رایت © 1388 . کلیه حقوق برای وبگاه حرف روز محفوظ است