题目

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

提问时间：2021-03-22

答案

显然 X3∨X4,X3→X2,X4→X1 真,则X1∨X2真,但X1∨X2真,X3∨X4,X3→X2,X4→X1 可以不全为真.因此X1∨X2是X3∨X4,X3→X2,X4→X1的有效结论.
具体的证明可以利用真值表.