逻辑问题:A则B=非A或B 如何推导出来的

作者&投稿:桂牲 (若有异议请与网页底部的电邮联系)
逻辑问题:为什么A推出B=(非A)或B?~

B为真并不能表示A为真啊。。。A是B的充分条件不是必要条件啊。。。。你的例子真的有好好思考过吗。。。。

逻辑函数中,有A=A+AB的公式所以A+非AB=A+AB+非AB(依据A=A+AB)=A+(A+非A)B(依据AB+非AB=(A+非A)B)=A+B(依据A+非A=1)就这样证明出来了啊。

逻辑函数的相等:
设有两个逻辑函数:F1=f1(A1,A2,…An)
F2=f2(A1,A2,…An)
如果对于A1,A2…An的任何一组取值(共2的n次方),F1和F2均相等,则称F1与F2相等。
也就是说:如果两个函数的真值表相同,则这两个函数一定相同。

0——1律 A·0 = 0 ; A+1=1(+:或)(· :与)
自等律 A·1 = A ; A+0=A
重迭律 A·A = A ; A+A=A
互补率 A·A非=0; A+A非=1
交换律 A·B = B·A ; A+B = B+A
结合律 A(BC)=(AB)C;A+(B+C)=(A+B) +C
分配率 A(B+C)= AB+AC; A+BC = (A+B)(A+C)
反演律 (A+B)非 = A的非·B的非
还原率 A非的非 = A
还原率又叫德·摩根定理。

布尔代数的三条规则:
1.带入规则:任何一个含有变量X的等式,如果将所有出现X的位置都用一个逻辑函数式F代替,则等式仍然成立

一般都是用这个永远都有效的 “枚举法”,也就是真值表法:把 A、B 所有的取值组合都罗列出来,看复合命题 A→B 与 ┐A ∨ B 的取值情况。结果证明二者恒等。

像这种基本连接词间的转换,真值表法就是最直接,也最有效的方法。不过也可以根据它们的定义,用一种更“高级”的方法来证明:
  A→B 表示:A 为真时,B 也总是为真;
即:A→B 为真,当且仅当 A 为真时 B 也为真;那么:
  A→B 为假,当且仅当 A 为真,并且 B 不为真;——条件命题的否定,就是“真条件,假结论”同时出现——有些书上,就是用这句话来定义条件命题的:知道了结果为假的赋值组合,自然也就知道结果为真的赋值组合了。所以:
  ┐(A→B) = A ∧ ┐B;
  ┐┐(A→B) = A→B = ┐(A ∧ ┐B) = ┐A ∨ B;

深奥额


逻辑问题:A则B=非A或B 如何推导出来的
A→B 表示:A 为真时,B 也总是为真;即:A→B 为真,当且仅当 A 为真时 B 也为真;那么:A→B 为假,当且仅当 A 为真,并且 B 不为真;——条件命题的否定,就是“真条件,假结论”同时出现——有些书上,就是用这句话来定义条件命题的:知道了结果为假的赋值组合,自然也就知...

逻辑问题:为什么A推出B=(非A)或B?
B为真并不能表示A为真。A是B的充分条件不是必要条件。A→B 为假,当且仅当 A 为真,并且 B 不为真;——条件命题的否定,就是“真条件,假结论”同时出现——有些书上,就是用这句话来定义条件命题的:知道了结果为假的赋值组合,自然也就知道结果为真的赋值组合了。所以:┐(A→B) =...

高中数学逻辑问题
非命题是: 如果A,那么非B 否命题是: 如果非A,那么非B 即非命题是只否定结论,否命题条件结论都要否定 例子你自己套吧

摩根定律中 非A或非B=非(A且B)可是这两种逻辑关系不一样怎么能相等呢...
您对摩根定律的理解有些误解。摩根定律中的“非A或非B”与“非(A且B)”是等价的,这是因为在逻辑运算中,“或”和“且”是互相对偶的运算符。具体来说,当您说“非A或非B”时,您指的是“不是A”或“不是B”,这可以理解为“A不成立”或“B不成立”。同样地,当您说“非(A且B)”...

a推b,等于非a或b,怎么理解?
a推b等于非a或b的理解:A→B 表示:A 为真时,B 也总是为真。即:A→B 为真,当且仅当 A 为真时 B 也为真。那么:A→B 为假,当且仅当 A 为真,并且 B 不为真;——条件命题的否定,就是“真条件,假结论”同时出现——有些书上,就是用这句话来定义条件命题的。知道了结果为假的...

逻辑命题:若A则B,能推出非A则非B了吗
不能,因为“非A则非B”是“若A则B”的否命题 否命题和原命题之间,没有真伪联系。例如以下命题,A是奇数,B是整数 那么若是奇数,则是整数。这个命题是真命题。但是若不是奇数,则不是整数。这个命题就是假命题了。

逻辑问题 A且非B 等于 非B且A吗?
等于,只是交换顺序,而已,而两个条件都是用且连接,即同时满足才是正确的,因此,没有问题。

弱弱的问一个逻辑问题若A则B等同于-AUB还是-A且B啊
若A则B的等价命题有两个!一个是选言命题即非A或B.另外一个是假言命题即非B→非A. 查看原帖>>

逻辑学:a则b是假命题
a则b中,是说明a对b有推导关系。如果这种推导是对的,那么这就是真命题,如果这种推导是错的,这就是假命题。a或b中,a、b是两个平等的条件,两者之间没有推导关系。例如:如果一个数是自然数,则这个数是正数。这个里面a就是“如果一个数是自然数”,b就是“这个数是正数”很明显a和b不是或...

A且B的矛盾为什么是非A或非B,应该是非A,或非B,或非A且非B啊
根据德摩根定理,正确应该非(A且B)=(非A)或(非B)。形式逻辑中此定律表达形式:

平塘县19138331261: A则B=非A或B 如何推导出来的 -
慎服冰硼:[答案] 一般都是用这个永远都有效的 “枚举法”,也就是真值表法:把 A、B 所有的取值组合都罗列出来,看复合命题 A→B 与 ┐A ∨ B 的取值情况.结果证明二者恒等.像这种基本连接词间的转换,真值表法就是最直接,也最有效的方...

平塘县19138331261: 逻辑问题:A则B=非A或B 如何推导出来的 -
慎服冰硼: 一般都是用这个永远都有效的 “枚举法”,也就是真值表法:把A、B 所有的取值组合都罗列出来,看复合命题 A→B 与A∨B的取值情况.结果证明二者恒等. 像这种基本连接...

平塘县19138331261: 逻辑命题:若A则B,能推出非A则非B了吗? -
慎服冰硼: 不能,若A则B,能推出非B则非A,这两者互为逆否命题

平塘县19138331261: 逻辑电路中A+A非B怎么得出来的A+B啊 -
慎服冰硼: A+A非B=(A+A非)*(A+B) 由于 A+A非=1,原式=1*(A+B)=A+B

平塘县19138331261: A推B为什么等价于非A或B -
慎服冰硼: A→B 表示:A 为真时,B 也总是为真; 即:A→B 为真,当且仅当 A 为真时 B 也为真;那么: A→B 为假,当且仅当 A 为真,并且 B 不为真;——条件命题的否定,就是“真条件,假结论”同时出现——有些书上,就是用这句话来定义条件命...

平塘县19138331261: 逻辑题,,a与b充要条件 怎么变成非a且b? -
慎服冰硼: 更正:应该是,非a或b,不是“且”.这是个逻辑规律,叫做“蕴涵否析律”.充分条件:有之必然,无之未必不然.就是有a就有b,不可能有a却没有b.但是没有a未必没有b.是说或者a为假,或者b为真.你可以用真值表验证.满足~a,b中任何一个a →b 都真.

平塘县19138331261: 逻辑推理方面:什么是鲁滨逊定理? 请举个例子. -
慎服冰硼: A推出B等价于非A或B 天下雨推出地湿,与天没下雨或者地湿是相同的,这里涉及到一组矛盾关系,A推出B与A且非B为矛盾关系,A且非B与非A或B为矛盾关系,所以A推出B等价于非A或B.

平塘县19138331261: 逻辑中,“除非A,才不B” 以及 “只有A,才不B”两个分别怎么推呢?? -
慎服冰硼: 标准表述 除非A否则不B <=> B→A. 除非A否则B, 根据双重否定等于肯定,于是就等于 除非A否则不“不B” ,即 不B→A,-B → A. 同时,根据逆否,还可以得到 -A→B. 只有A,才不B,是标准的后推前的,即不B→A. 扩展资料逻辑推...

平塘县19138331261: 逻辑函数A+非AB怎么等于A+B -
慎服冰硼: 逻辑函数中,有A=A+AB的公式 所以A+非AB =A+AB+非AB (依据A=A+AB) =A+(A+非A)B (依据AB+非AB=(A+非A)B) =A+B (依据A+非A=1)就这样证明出来了啊.

平塘县19138331261: 逻辑里面:除非A 否则B 是怎么样的关系RT比如:如果A 就是B..推理关系表示是:A - >B那除非A,否则B.怎么推理./A - >B?那/B - >A吗 -
慎服冰硼:[答案] 矛盾关系 除非A,否则B 推理关系表示是: _ A->B _ A 是“非A” /A->B /B->A,对.

本站内容来自于网友发表,不代表本站立场,仅表示其个人看法,不对其真实性、正确性、有效性作任何的担保
相关事宜请发邮件给我们
© 星空见康网