作业帮 > 数学 > 作业

离散数学证明下列公式 看图

来源:学生作业帮 编辑:拍题作业网作业帮 分类:数学作业 时间:2024/04/29 15:49:04
离散数学证明下列公式 看图
证明

怎么证明?、
这是我很努力的做出来又打上的,
任给∀xA(x)→∀xB(x)一种赋值D,假设∀xA(x)→∀xB(x)在D下为假,则可知∀xA(x)为T,∀xB(x)为F,对任意个体α∈D,A(α)为T,且存在个体β∈D,B(β)为F,A(x)→B(x)为F,
而当∀xA(x)→∀xB(x)的赋值为真时,此式子永远为真.
所以,关系成立.