檢視可废止逻辑的原始碼

{| class="wikitable" align="right"

|-

| style="background: #66CCFF" align= center|  '''<big>可废止逻辑</big> '''

|-

|<center><img src=https://gimg2.baidu.com/image_search/src=http%3A%2F%2Fview-cache.book118.com%2Fview6%2FM02%2F38%2F24%2FwKh2BF2EJliAVCmuAAEuzpS1Lm0173.png&refer=http%3A%2F%2Fview-cache.book118.com&app=2002&size=f9999,10000&q=a80&n=0&g=0n&fmt=auto?sec=1658736523&t=d00a3c28450cc3469a270142fcd93469 width="300"></center>
<small>[https://max.book118.com/html/2019/0109/6032041212002000.shtm 来自 原创力文档网 的图片]</small>


|-

| style="background: #66CCFF" align= center|

|-

| align= light|

|}
'''[[可废止逻辑]]'''是Donald Nute提出的用来形式化可废止推理的非单调逻辑。<ref>[https://max.book118.com/html/2019/0109/6032041212002000.shtm ],原创力文档网 ,</ref>