2011年3月29日

RCEA 规则的反例？

摘要： 在条件句逻辑中有如下的推理规则：(RCEA) $\dfrac{A\leftrightarrow B}{(A>C)\leftrightarrow (B>C)}$即，条件句的前件可以进行等价置换而保持条件句真值不变。这是等价置换规则在条件句逻辑中的具体化。一般的，两个逻辑等价的公式可以保真地在任何语境下... 阅读全文

posted @ 2011-03-29 15:39 ilogic 阅读(1047) 评论(0) 推荐(0) 编辑