05-01-2011, 02:17 PM | #1 |
(کاربر طلایی)
تاریخ عضویت: Jan 2011
نوشته ها: 972
|
منطق مسند
منطق مسند منطق محمولات (Predicate logic) یا منطق مرتبهٔ اوّل (First-order logic - FOL) زبانیست فراگیر در علوم نمادی (symbolic)، که توسّط دانشمندان مختلف در علوم ریاضی، فلسفه، زبانشناسی، علوم رایانه، و به طور اخصّ، در هوش مصنوعی، و نمایش دانش مورد استفاده قرار میگیرد. منطق سنتی در منطق سنتی یا منطق ارسطویی جمله به سه بخش تقسیم میشود: موضوع، محمول و رابطه. در جملهٔ «ابوعلی سینا منطقدان است»، «ابوعلی سینا» موضوع، «منطقدان» محمول و «است» رابطه است. در این منطق «محمول» صفتی ست که بر «موضوع» (یا موصوف) عارض میشود. مثلاً جمله «حسن و حسین برادرند» را باید به صورت «حسین برادر حسن است» یا «حسن برادر حسین است» بررسی کرد که «برادر حسین بودن» و «برادر حسن بودن» محمول است. منطق ریاضی از دید منطق ریاضی رابطه میتواند چند موضعی باشد و محدود به توصیف یک موضعی نیست، بدین گونه که در جمله قبل «برادری» رابطهای دو موضعی است، حتی رابطه میتواند چند موضعی هم باشد. به این تزتیب به منطق سنتی، منطق محمولات یک موضعی هم میگویند. |
برچسب ها |
منطق, منطق مسند, انواع منطق |
کاربران در حال دیدن موضوع: 1 نفر (0 عضو و 1 مهمان) | |
|
|
War Dreams Super Perfect Body Scary Nature Lovers School Winner Trick Hi Psychology Lose Addiction Survival Acts The East Travel Near Future Tech How Cook Food Wonderful Search Discommend
Book Forever Electronic 1 Science Doors The Perfect Offers Trip Roads Travel Trip Time Best Games Of Shop Instrument Allowedly