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

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

　

标题 前件存在规则
类别 哲学
释义 前件存在规则     rule of premises existence

狭谓词演算H.A.系统中的初始变形规则。国内一种有影响的表述是：如果个体变项Δ在B中不出现，从⟝A(Δ)→B，可得⟝(∃Δ)A(Δ)→B。这是一个引入存在量词的规则。与命题演算定理

“⟝(p→r)∧(q→r)→(p∨q→r)”相当。是以下图式的推广：

当个体域无穷时，可表示成｛1，2，…n，…｝。用上面图式可得一系列的断定：

这样应该可以得：

⟝A(1)∨…∨A(n)∨…→B

按定义，它不合式。但是它相当于一个存在式(∃x)A(x)→B。这样就有：⟝(∃x)A(x)→B。
随便看

　

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

　

Copyright © 2002-2024 yiyi18.com All Rights Reserved
更新时间：2025/8/7 0:13:53