作业帮 > 综合 > 作业

数理逻辑问题:为什么A->B可以得到!B->!A

来源：学生作业帮 编辑：灵鹊做题网作业帮 分类：综合作业 时间：2024/05/14 15:03:29
数理逻辑问题:为什么A->B可以得到!B->!A
学数理逻辑和离散数学的时候,总是说:
如果A蕴含了B,那么可以推出"非B蕴含非A"
也就是 A → B ├ ¬B → ¬A
如何理解这句话呢?感觉太抽象了啊,是否要从集合论的方面去理解
数理逻辑问题:为什么A->B可以得到!B->!A
"是否要从集合论的方面去理解?"----- 可以!
Proof:
"A is a subset of B" implies "(Not B) is a subset of (Not A)"  
见图：
数理逻辑问题如何将谓词命题 (任意x)A(x)∨(任意x)B(x)化为前束范式? 数理逻辑问题:如何理解"若从命题A能推出B及B的否定,那么A能推出任何公式" 关系演算的基础是( ) A.形式逻辑中的逻辑演算 B.形式逻辑中的关系演算 C.数理逻辑中的谓词演算 D.数理逻辑 如图,直线a,b,被直线c所截,由a‖b,你可以得到那些结论,为什么 刘老师 一个向量组B可以由向量组A线性表示 能得到向量组A相关吗?为什么 A和B是n阶非零矩阵,且AB=0,为什么可以得到结论r(A) 由A可以得到B,该用什么数学符号? 回答下列问题 1.由等式3a加五等于3b减5,能不能得到a等于b?为什么? a.b.c是三个非零自然数,且a大于b,可以得到什么结论 由a=b可以得到a/c=b/c吗? 如图,直线a,b,被直线c所截,由a‖b,你可以得到那些结论,为什么 七下数学书p16的第一题 从a/b=c/b能否得到a=c,为什么?