导图社区 形式逻辑
“形式逻辑”就是指传统逻辑,狭义指演绎逻辑,广义还包括归纳逻辑。由于本质上“形式逻辑”是知性逻辑,所以现代数理逻辑没有超出“形式逻辑”即传统逻辑的范畴。亚里士多德的工具论是形式逻辑发展的基础。
这是一篇关于王阳明心学的思维导图,该书用通俗易懂的语言解读阳明心学的传世典籍《传习录》,深入浅出地阐释阳明心学心即理、知行合一、致良知的核心理念。
对于中学生和小学生而言,必读的课外书目是不可或缺的。这些书目不仅可以丰富知识,还可以拓展视野,提高阅读和写作能力。因此,建议中学生和小学生都应挑选适合自己的课外书进行阅读,并养成良好的阅读习惯。
"小学生一至六年级必读课外书"系列旨在培养学生的阅读兴趣和习惯,提高学生的阅读能力和素养。该系列按照年级进行分类,涵盖了适合不同年龄段的优秀课外读物,如经典童话、科普知识、历史故事等,旨在帮助学生开阔视野,增长知识,培养独立思考和创造力。
社区模板帮助中心,点此进入>>
论语孔子简单思维导图
《傅雷家书》思维导图
《童年》读书笔记
《茶馆》思维导图
《朝花夕拾》篇目思维导图
《昆虫记》思维导图
《安徒生童话》思维导图
《鲁滨逊漂流记》读书笔记
《这样读书就够了》读书笔记
妈妈必读:一张0-1岁孩子认知发展的精确时间表
形式逻辑
1. 翻译推理
解题思维
先翻译后推理
翻译规则
充分条件
前 ——后
肯前,否后为真
如果(例如\一旦\若)……,那么(就\则)
只要……,就……
绝对化表达,如:……一定(就、则。离不开)
整体化表达,如:所有(凡是/任何、每一个)……都……;……是……
必要条件
后——前
肯后,否前为真
只有(除非)……才……
……是……的必要条件(先决条件/基础/前提/必要假设/必不可少的条件)
特殊关联词
或关系
含义:至少有一个
翻译:否一个推另一个
标志词
或者……或者……
除非……否则……
不相容
即只能有一个
要么……要么……
有的……是……
有的……是
至少有一个
有的可以推所有,所有不能推出有的
推理规则
逆否命题
A推出B=-B推出-A
摩根定律
-(A且B)=-A或-B
-(A或B)=-A且-B
等价置换
有的A是B=有的B是A
2. 真假推理
先找矛盾(反对)再看其他
矛盾关系
有的……是——所有……不是
所有……是——有的……不是
A推出B——A且非B
反对关系
有的有的必有一真
所有所有必有一假
3. 组合排列
如果麻烦就放弃
排除
排列
从最大信息入手
特殊信息
出现一次
圆桌