下一章 上一章 目录 设置
15、2024.5.15 ...
-
翻译推理——逆否等价、后推前
逆否等价里错了好多,后推前也错了好多。写的时候也在纠结,听讲解的时候,才感觉有些真的把逻辑的前后搞反了。五五开的正确率。
翻译规则一——前推后:
如果/就/都/一定
推理规则——逆否等价:
肯前必肯后,否后必否前
否前肯后无必然结论
翻译规则二——后推前:
只有……才……
不……不……
(不A不B:B→A;-A→-B)
除非……否则不……
(除非A,否则不B:B→A;除非A,否则B:-B→A)
……是……的基础/假设/前提/关键
……是……的必要条件/必不可少的条件
(谁必不可少/前提,谁在箭头后)
递进关系
①A→B,B→C——A→B→C
②A→B,A→C
③A→B,-A→C——-C→A→B
④A→B,C→-B——A→B→-C