网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的百科知识:

 

标题 后件概括规则
类别 哲学
释义 后件概括规则     rule of consequent generalization

狭谓词演算HA系统中的初始变形规则。国内一种有影响的表述是:如果个体变项Δ在A中不出现,从├A→B(Δ),可得├A→(Δ)B(Δ)。这是一个引入全称量词的规则。与命题演算的定理“├(p→q)∧(p→r)→(p→q∧r)”相当。是以下图式的推广:

当个体域无穷时,可表示成{1,2,…n,…}用上面图式可得一系列的断定:

这样应该可以得:

├A→B(1)∧B(2)∧…∧B(n)∧…

按定义,它不合式。但是它相当于全称式(ᗄx)B(x)。这样就有:├A→(ᗄx)B(x)。

随便看

 

依恋情感网情感百科知识大全收录了49620条情感类百科知识词条,覆盖心理学、哲学、美学等领域,基本涵盖了日常生活中常见问题的详细解释,是情感生活的有利工具。

 

Copyright © 2002-2024 yiyi18.com All Rights Reserved
更新时间:2025/8/8 6:08:38