可废止逻辑是Donald Nute提出的用来形式化可废止推理的非单调逻辑。在缺省逻辑中,有三种不同类型的命题: