Most axiomatic systems have only the rule of modus ponens (and sometimes substitution), so it requires only verifying the validity of the axioms and one rule of inference. فمعظم أنظمة البديهيات لديها قاعدة وحيدة لـ قانون الاستلزام (وأحيانًا الإحلال), ومن ثم يلزم فقط إثبات صحة البديهيات وقاعدة استدلال واحدة.
Background knowledge can also lead to the suppression of even the simple modus ponens inference Participants given the conditional if Lisa has an essay to write then she studies late in the library and the premise Lisa has an essay to write make the modus ponens inference 'she studies late in the library', but the inference is suppressed when they are also given a second conditional if the library stays open then she studies late in the library. يمكن كذلك أن تؤدي المعارف العامة إلى كبت حالة الاستدلال باستخدام قاعدة الاستلزام البسيطة بالنسبة للمشاركين الذين أُعطوا الحالة الشرطية التالية إذا كانت واجبات ليزا تتضمن كتابة مقال ثم اضطرت إلى الدراسة حتى وقت متأخر من الليل في المكتبة فيتبين أن الفرضية وجب على ليزا كتابة مقال اتجهت إلى الاستدلال باستخدام قاعدة الاستلزام "درست حتى وقت متأخر من الليل"، غير أن هذا الاستدلال يتم كبته في حالة ما إذا تواجد كذلك حالة شرطية ثانية إذا ظلت المكتبة مفتوحة فستدرس حتى وقت متأخر في المكتبة.
Background knowledge can also lead to the suppression of even the simple modus ponens inference Participants given the conditional if Lisa has an essay to write then she studies late in the library and the premise Lisa has an essay to write make the modus ponens inference 'she studies late in the library', but the inference is suppressed when they are also given a second conditional if the library stays open then she studies late in the library. يمكن كذلك أن تؤدي المعارف العامة إلى كبت حالة الاستدلال باستخدام قاعدة الاستلزام البسيطة بالنسبة للمشاركين الذين أُعطوا الحالة الشرطية التالية إذا كانت واجبات ليزا تتضمن كتابة مقال ثم اضطرت إلى الدراسة حتى وقت متأخر من الليل في المكتبة فيتبين أن الفرضية وجب على ليزا كتابة مقال اتجهت إلى الاستدلال باستخدام قاعدة الاستلزام "درست حتى وقت متأخر من الليل"، غير أن هذا الاستدلال يتم كبته في حالة ما إذا تواجد كذلك حالة شرطية ثانية إذا ظلت المكتبة مفتوحة فستدرس حتى وقت متأخر في المكتبة.
جوال إصدار