PN666 发表于 2020-4-4 23:31:12

有人会离散数学吗？一个离散问题

本帖最后由 PN666 于 2020-4-4 23:39 编辑

根据这三个前提，推出结论，写出完整推理过程，包括每一步依据的规则(不用真值表方法)
前提
1) (P∧┐(S∧R))→┐Q
2)P
3)┐S
结论:┐Q

倒戈卸甲 发表于 2020-4-5 00:18:13

手机不会敲这些符号，但是看2)，3)与1）的结构，不是只要推导一步就行了，┐(S∧R)→┐S
页: [1]
查看完整版本: 有人会离散数学吗？一个离散问题