考研知识点：逻辑学推理规则
2025-11-28 12:15:36 0 举报AI智能生成
考研知识点：逻辑学推理规则
作者其他创作
大纲/内容
命题逻辑推理规则
基本推理规则
肯定前件式
如果p则q，p真，所以q真
否定后件式
如果p则q，q假，所以p假
假言推理
充分必要条件
选言推理
相容不相容判断
复合命题推理
联言推理
合取引入消除
选言推理
析取引入消除
等值替换规则
双重否定律
p等价于非非p
交换律
p且q等价q且p
结合律
(p且q)且r等价p且(q且r)
德摩根律
非(p且q)等价非p或非q
假言易位
如果p则q等价如果非q则非p
德摩根律应用
非(p或q)等价非p且非q
蕴涵定义律
如果p则q等价非p或q
分配律
p且(q或r)等价(p且q)或(p且r)
蕴涵等值律
如果p则q等价非p或q
假言三段论
如果p则q，如果q则r，所以如果p则r
谓词逻辑推理规则
量词推理规则
全称例示规则
所有S是P，所以某个S是P
全称概括规则
某个S是P，所以所有S是P
量化推理
全称引入规则
对任意x，P(x)成立
存在例示规则
存在x使P(x)成立
量词交换规则
全称量词分配
所有x(P且Q)等价所有xP且所有xQ
存在概括规则
某个S是P，所以存在S是P
全称概括规则
对个体域中所有x，P(x)成立
存在量词分配
存在x(P或Q)等价存在xP或存在xQ
量词否定规则
非所有xP等价存在x非P
存在概括规则
存在xP(x)，所以某个x使P(x)成立
量词转换规则
非所有xP等价存在x非P
存在量词引入
对某个c，P(c)成立，所以存在xP(x)成立
全称概括规则
对个体域中任意x，P(x)成立
量词推理应用
数学证明应用
日常推理应用
法律论证应用
科学研究应用
模态逻辑推理规则
模态算子推理
必然性推理
必然p蕴含p
可能性推理
p蕴含可能p
全称量词推理
所有S是P，所以某个S是P
模态推理规则
必然性引入规则
逻辑真理必然真
可能性引入规则
现实性蕴含可能性
模态公理
K公理
必然(p蕴含q)蕴含(必然p蕴含必然q)
模态三段论
必然p，如果p则q，所以必然q
模态等值规则
必然p等价非可能非p
模态对当关系
必然p与可能非p矛盾
模态对当推理
必然p与可能p关系
必然p蕴含可能p
模态否定规则
非必然p等价可能非p
模态转换规则
必然p等价非可能非p
模态命题转换
必然非p等价不可能p
模态命题推理
必然p，所以p
模态三段论应用
伦理推理应用
法律推理应用
科学推理应用
日常推理应用
归纳逻辑推理规则
归纳推理类型
完全归纳推理
所有S是P，所以所有S是P
模态推理应用
哲学论证应用
神学推理应用
形而上学应用
归纳强度评估
样本代表性
随机抽样要求
归纳推理
特殊到一般推理
归纳方法
枚举归纳法
科学归纳法
因果归纳方法
统计归纳法
概率统计方法
归纳推理应用
科学发现应用
统计推断应用
归纳推理局限
结论或然性
谬误识别规则
形式谬误
肯定后件
如果p则q，q真，所以p真
否定前件
如果p则q，p假，所以q假
非形式谬误
人身攻击谬误
攻击人格而非论证
诉诸情感谬误
利用感情影响判断
诉诸权威谬误
专家意见滥用
诉诸无知谬误
无法证明即为假
诉诸传统谬误
因传统而接受
诉诸无知谬误
无法证明即为真
诉诸大众谬误
多数人认为即为真
非形式谬误识别
广告宣传识别
政治宣传识别
广告识别应用
政治识别应用
日常识别应用
学术识别应用
法律识别应用
商业识别应用
日常生活应用
学术研究应用
法律论证应用
商业谈判应用
日常生活应用
学术讨论应用
法律辩护应用
商业决策应用
日常判断应用
0 条评论
下一页
