typedateslugstatussummarytagscategoryiconpassword1－6－1 蕴含设A和B是两个命题公式，若 是永真式，则称A蕴含B，记作 , 称为蕴含式或者永真条件式，A为蕴含式的前件或者前提，B是蕴含式的后件或者结论。 成立的充要条件是 是永真式 的充要条件是 且 1－6－2 证明蕴含关系的方法用真值表证明 A→B是重言式前件真推后件真后件假推前件假1－6－3 基本蕴含式附加律化简律假言推理拒取式析取三段论假言三段论等价三段论构造性二难推理破坏性二难定理作者:ywyz链接:https://ywyz.tech/article/dmath1-6声明:本文采用 CC BY-NC-SA 4.0 许可协议，转载请注明出处。相关文章离散数学命题离散数学逻辑连接词离散数学命题公式 离散数学命题逻辑的等价关系 离散数学命题逻辑的推理理论 离散数学命题公式的标准化 离散数学命题逻辑的推理理论 离散数学命题公式的标准化
