A则B=非A或B 如何推导出来的

来源:学生作业帮助网 编辑:作业帮 时间:2024/06/10 04:10:02
A则B=非A或B 如何推导出来的
xSYr@@$HQIbV1K92ȳH_\!o4DE$U{\RFǓ=\ѭO.{1olNbH_ 7~`vtġeXbMGɞz!(ębɚQG+k4Kbuإ> Wm8y0@PuIMA|7DjX(U+^Mh[b&q"\ek$h.Ҥ3Y0ey5`;\,; k#26C]nm7g_fnLзP A;H,6Ji Q%j_0G9ޅ zK擀bwWtFt=J-< up*l3 q6%^ޡH@, T$ h"2;&΂؍Ӷ$mAlOsqCܚ!2xe/+R4(| TϠG_O:#ҥfR$<: 6 yz`~*P_R

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;