中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Monotonicity of entailment
来自维基百科,自由的百科全书
Found in articles
蕴含的单调性
蕴含的单调性(
Monotonicity
of
entailment
)是许多逻辑系统的一个属性,它表明任何派生事实的假设都可以用额外的假设自由扩展。在后续演算中,可以通过称为弱化的结构规则来捕获此属性,并且在此类系统中,当且仅当规则是可接受的时,人们可以说蕴含是单调的。具有这种性质的逻辑系统有时被称为单调逻辑,以区别于非单调逻辑。
非經典邏輯
也被称为矛盾律)和充足理由律。经典逻辑也被特征化为下面一些性质: 同一律 排中律 无矛盾律 充足理由律 蕴涵的单调性(英语:
Monotonicity
of
entailment
)和蕴涵的幂等律(分别就是结构规则中弱化规则和紧缩规则) 合取的交换律 德·摩根对偶律:所有逻辑算子都对偶于另一个。