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