可容許推演法則(permissible inference)由可推斷性導出的法則.假設公式A‑AZ,...}A},B適合:如果A},AZ,...,A。皆為形式系統乏的可推斷公式，那么B也是乏中的可推斷公式，這時就稱是一個可容許推演法則.使用可容許推演法則可以簡化證明的過程.
