学习推理

116096 · 发表于 2020-3-17 12:30:19

谢谢楼主，但有点难懂

81845 · 发表于 2020-3-17 13:37:32

无义证明法，平凡证明法，直接证明法，间接证明法。弄成谓词公式之后再用数学技巧化简，不过生活中主要凭经验

119863 · 发表于 2020-3-24 22:51:05

前来学习

116170 · 发表于 2020-3-24 22:54:50

谢了，收藏~

[知识科普] 学习推理