تاپيک: منطق
نمايش پست تنها
قديمي ۰۵-۶-۱۳۹۰, ۰۷:۵۸ قبل از ظهر   #3 (لینک دائم)
pouriams Male
عضو فوق فعال
 
آواتار pouriams
 
تاريخ عضويت: ارديبهشت ۱۳۹۰
محل سكونت: Vancouver, Canada
پست ها: 6
تشكرها: 0
8 تشكر در 3 پست
پيش فرض

به دلیل اینکه منطق گزاره ای (Propositional logic) دارای حدود و قصور زیادی است و برای محیط های پیچیده تر پیاده سازی آن سخت و یا غیرممکن است، منطق مرتبه اول با قابلیت توصیفی (expressive) بیشتر به وجود آمده است.
در منطق گزاره ای فقط حقایق (facts) استفاده میشوند در حالیکه در منطق مرتبه اول (First Order Logic یا به طور خلاصه FOL) از اشیاء (Objects) و روابط (relations) نیز استفاده می شود.
مثال ساده :
برای نشان دادن پدر یک نفر در منطق گزاره ای هیچ راهی وجود ندارد در حالیکه در منطق مرتبه اول از تابع (Function) برای این رابطه استفاده می کنیم.
pouriams آفلاين است   پاسخ با نقل قول
از pouriams تشكر كرده است:
azadeh_i82 (۰۳-۱۳-۱۳۹۵)