تاپيک: منطق
نمايش پست تنها
قديمي ۰۳-۱۳-۱۳۹۵, ۰۱:۱۲ قبل از ظهر   #5 (لینک دائم)
azadeh_i82 Male
عضو جدید
 
آواتار azadeh_i82
 
تاريخ عضويت: ارديبهشت ۱۳۹۵
پست ها: 2
تشكرها: 1
0 تشكر در 0 پست
پيش فرض

نقل قول:
نوشته اصلي بوسيله pouriams نمايش پست
به دلیل اینکه منطق گزاره ای (propositional logic) دارای حدود و قصور زیادی است و برای محیط های پیچیده تر پیاده سازی آن سخت و یا غیرممکن است، منطق مرتبه اول با قابلیت توصیفی (expressive) بیشتر به وجود آمده است.
در منطق گزاره ای فقط حقایق (facts) استفاده میشوند در حالیکه در منطق مرتبه اول (first order logic یا به طور خلاصه fol) از اشیاء (objects) و روابط (relations) نیز استفاده می شود.
مثال ساده :
برای نشان دادن پدر یک نفر در منطق گزاره ای هیچ راهی وجود ندارد در حالیکه در منطق مرتبه اول از تابع (function) برای این رابطه استفاده می کنیم.
سلام
میخواستم بدونم کتاب یا جزوه ای ترجیحا فارسی رو که به زبان ساده درباره منطق گزاره ای توضیح داده باشه میتونید بهم معرفی کنید
خیلی ممنون
azadeh_i82 آفلاين است   پاسخ با نقل قول