على سبيل المثال، يمكن اعتبار الدليل المنطقي بحثا عن مسار ينطلق من افتراضات إلى نتائج، حيث كل خطوة هي تطبيق لقاعدة الاستدلال.
For example, logical proof can be viewed as searching for a path that leads from premises to conclusions, where each step is the application of an inference rule.