pouriams

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