数理逻辑问题:为什么A->B可以得到!B->!A学数理逻辑和离散数学的时候,总是说:如果A蕴含了B,那么可以推出"非B蕴含非A"也就是 A → B ├ ¬B → ¬A如何理解这句话呢?感觉太抽象了啊,是否要
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/02 18:33:47
![数理逻辑问题:为什么A->B可以得到!B->!A学数理逻辑和离散数学的时候,总是说:如果A蕴含了B,那么可以推出](/uploads/image/z/4523543-71-3.jpg?t=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91%E9%97%AE%E9%A2%98%3A%E4%B8%BA%E4%BB%80%E4%B9%88A-%3EB%E5%8F%AF%E4%BB%A5%E5%BE%97%E5%88%B0%21B-%3E%21A%E5%AD%A6%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91%E5%92%8C%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6%E7%9A%84%E6%97%B6%E5%80%99%2C%E6%80%BB%E6%98%AF%E8%AF%B4%3A%E5%A6%82%E6%9E%9CA%E8%95%B4%E5%90%AB%E4%BA%86B%2C%E9%82%A3%E4%B9%88%E5%8F%AF%E4%BB%A5%E6%8E%A8%E5%87%BA%22%E9%9D%9EB%E8%95%B4%E5%90%AB%E9%9D%9EA%22%E4%B9%9F%E5%B0%B1%E6%98%AF+A+%E2%86%92+B+%E2%94%9C+%26%23172%3BB+%E2%86%92+%26%23172%3BA%E5%A6%82%E4%BD%95%E7%90%86%E8%A7%A3%E8%BF%99%E5%8F%A5%E8%AF%9D%E5%91%A2%3F%E6%84%9F%E8%A7%89%E5%A4%AA%E6%8A%BD%E8%B1%A1%E4%BA%86%E5%95%8A%2C%E6%98%AF%E5%90%A6%E8%A6%81)
数理逻辑问题:为什么A->B可以得到!B->!A学数理逻辑和离散数学的时候,总是说:如果A蕴含了B,那么可以推出"非B蕴含非A"也就是 A → B ├ ¬B → ¬A如何理解这句话呢?感觉太抽象了啊,是否要
数理逻辑问题:为什么A->B可以得到!B->!A
学数理逻辑和离散数学的时候,总是说:
如果A蕴含了B,那么可以推出"非B蕴含非A"
也就是 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)"
见图:
可以用反证法
A → B
若¬B
假设A
A → B
B与¬B矛盾
¬A
故¬B → ¬A
数理逻辑问题:已知a->b,为什么a├ a->b
数理逻辑问题:为什么A->B可以得到!B->!A学数理逻辑和离散数学的时候,总是说:如果A蕴含了B,那么可以推出非B蕴含非A也就是 A → B ├ ¬B → ¬A如何理解这句话呢?感觉太抽象了啊,是否要
数理逻辑问题:为什么有公理A->(B->A)如何理解A1公理,也就是A蕴含了(B蕴含A)?A和B之间的关系是怎么冒出来的,到底怎么理解它?
数理逻辑问题如何将谓词命题 (任意x)A(x)∨(任意x)B(x)化为前束范式?
数理逻辑问题:如何理解若从命题A能推出B及B的否定,那么A能推出任何公式
数理逻辑问题: 如何表示A和B有且只有一个成立?数理逻辑里面:A V B表示A,B只要有一个成立,就成立.但是我如何表示A和B有且只有一个成立如果我写为(A n !B)U(!A n B),其实两个也不能同时成立,
关系演算的基础是( ) A.形式逻辑中的逻辑演算 B.形式逻辑中的关系演算 C.数理逻辑中的谓词演算 D.数理逻辑
数理逻辑问题:蕴含(->)和推出(├)到底有什么区别?我怎么感觉,A->B就是,A是B成立的前提啊.A├B这两个符号/概念的本质区别是什么?
在数理逻辑中,(任意x A(x)→B)和(任意x(A(X)→B))为什么不同?麻烦使用一个例子来说明.这是一阶逻辑范畴
数理逻辑:如果李明和王芳不去丽江,那么周平去上海.以此为前提,再加上下列选项中的哪个条件,就可以推出李明去丽江的结论?A王芳不去丽江,周平不去上海B王芳不去丽江,周平去上海C周平不
线性表示的问题已知b可以由a1,a2,a3线性表示,能不能得到b可以由a1,a2线性表示?为什么?
向量a在向量b方向上的投影大小等于 b可以得到向量ab垂直吗 为什么
已知向量a,b是非零向量,为什么由7|a|^2-15|b|^2-16a*b=0和a*b=-0.5|a||b|这两个等式就可以得到|a|=|b|?求书面证明.
四川2013高考文数第9题的详解不明白如何得到P的纵坐标 为什么AB平行OP 就可以得到-b^2/ac=-b/a
刘老师 一个向量组B可以由向量组A线性表示 能得到向量组A相关吗?为什么
A和B是n阶非零矩阵,且AB=0,为什么可以得到结论r(A)
回答下列问题 1.由等式3a加五等于3b减5,能不能得到a等于b?为什么?
由3a-2b 5=b 5,可以得到a=b吗