得到
  • 汉语词
  • 汉语典q
当前位置 :
【离散数学证明:X1∨X2是X3∨X4,X3→X2,X4→X1的有效结论】
1人问答
更新时间:2024-04-27 02:21:28
问题描述:

离散数学证明:X1∨X2是X3∨X4,X3→X2,X4→X1的有效结论

高武奇回答:
  显然X3∨X4,X3→X2,X4→X1真,则X1∨X2真,但X1∨X2真,X3∨X4,X3→X2,X4→X1可以不全为真.因此X1∨X2是X3∨X4,X3→X2,X4→X1的有效结论.   具体的证明可以利用真值表.
数学推荐
一一课(yiyike.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。

邮箱:  联系方式:

Copyright©2009-2021 一一课 yiyike.com 版权所有 闽ICP备2021003759号-6