作业帮 > 数学 > 作业

离散数学推理若甲胜则乙败,若丙胜则丁胜,若甲不胜则丁不败,证明丙胜则丁不胜

来源:学生作业帮 编辑:神马作文网作业帮 分类:数学作业 时间:2024/11/14 23:06:32
离散数学推理
若甲胜则乙败,若丙胜则丁胜,若甲不胜则丁不败,证明丙胜则丁不胜
离散数学推理若甲胜则乙败,若丙胜则丁胜,若甲不胜则丁不败,证明丙胜则丁不胜
A表示甲胜,A'表示甲败,其它同理
已知条件即:
A=>B'
C=>D
A'=>D' 即D=>A
由上可推出:
C=>D=>A=>B'
所以应当证明:丙胜则乙不胜