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