（先决条件）是真的，并且每个formula_6（论据）都相容于我们当前的信仰，我们导出信仰formula_7（结论）是真的。在formula_2中逻辑公式和在缺省中的所有公被初始的假定为一阶逻辑公式，但是它们潜在的可以是任意形式逻辑的公式。公式都是命题逻辑的情况是研究最多的。
例子.缺省规则“鸟通常会飞”被下列缺省所形式化：这个规则意味着，如果formula_10是鸟，并且可以假定它会飞，则我们得出结论它会飞。包含某些关于鸟的事实的背景理论在下面列出：依据这个缺省规则，