题型特征,翻译规则,推理规则等内容讲解
树图思维导图提供 翻译推理思维脑图 在线思维导图免费制作,点击“编辑”按钮,可对 翻译推理思维脑图 进行在线思维导图编辑,本思维导图属于思维导图模板主题,文件编号是:198933349773b37e311972f56d5942e3
翻译推理思维导图模板大纲
题干出现明显的逻辑关联词
提问方式为“可以推出”“不能推出”
“前推后”
如果......那么.....
若......则.....
只要......就......
所有......都.....
为了......一定......
......是......的充分条件
速记:如果、就、都、一定、则
“后推前”
只有......才
不......不......
不A不B的两种翻译
B—>A
-A推出-B
......才......
除非.....否则不.....
除非A否则不B:B—>A
除非A否则B:-B—>A
......是......的基础/假设/前提/关键
......是......的必要条件/必不可少的条件
易错点:谁是基础/假设/前提/关键/必要条件/必不可少的条件。谁在箭头后
逆否等价
A推出B=-B推出-A。(肯前必肯后,否后必否前)
注意:直接否前或肯后,不能得到确定结论
递推规则
A推出B,B推出C,则A推出C
“且”关系(二者同时成立:A且B)
并列关系:并且/且/和/都/既......又......
递进关系:甚至/而且/还.....
转折关系:但是/然而/却.....
标点符号:逗号、顿号、分号
“或”关系(二者至少一个成立:A或B)
或者......或者......
或者......
......和......至少有一个
否一推一
符号表示:A或B为真,-A推出B/-B推出A
文字表示:当“或”关系为真时,否定一项可以得到另一项
德摩根定律
-(A且B)=-A或-B
-(A或B)=-A且-B
逻辑内涵:至少有一个
翻译规则
有的A是B:有的A-->B
有的A不是B:有的A-->-B
推理规则
带“有的”的翻译不适用逆否等价规则
有的A是B=有的B是A
所有A都是B=有的B是A
“并且”一出现,后面全部否
“必然”换“可能”,“有的”换“所有”
“且”“或”相互换,谓语动词最后否
树图思维导图提供 1107文家市玉萍思维导图 在线思维导图免费制作,点击“编辑”按钮,可对 1107文家市玉萍思维导图 进行在线思维导图编辑,本思维导图属于思维导图模板主题,文件编号是:ed943ef641f6dc874860eb6095857ed6
树图思维导图提供 种子思维脑图 在线思维导图免费制作,点击“编辑”按钮,可对 种子思维脑图 进行在线思维导图编辑,本思维导图属于思维导图模板主题,文件编号是:86f8307a40ea24607c6c79354e09377f