“谓词变元代入规则”的意思、起源，谓词变元代入规则是由谁提出的-哲学-情感百科-依恋情感网

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

标题	谓词变元代入规则
类别	哲学
释义	谓词变元代入规则 rule of substitution for predicate variable 狭谓词演算HA系统中的初始变形规则。国内一种有影响的表述是：在公式A中的n元谓词变元Г(Δ₁，Δ₂，…，Δ_n)可以处处代之以一复合谓词B(Δ₁，…，Δ_n，Δ_n+1，…，Δ_n+m)(m≥0)。代入的结果可以记为： A。如果├A，那么 ├A。代入时要求：(1)代入的结果必须是合式公式。(2)A中的自由个体变元，代入后不得为B中量词所约束。(3)如果m>0，B(Δ₁，…Δ_n，Δ_n+1，…，Δ_n+m)中的变元Δ_n+1，…，Δ_n+m等在代入后不得为A中原有的量词所约束，违反这些要求，代入后的公式就可能不合式，或者不能保持普遍有效。例1：设在“F(x)→F(x)∨G(y)”中，用(ᗄy)R(Δ，y)代F(Δ)，得(ᗄy)R(x，y)→(ᗄy)R(x，y)∨G(y)。这里y既约束，又自由，所以不合适。违反了规则(1)。例2：设在普遍有效式(ᗄx)F(x)→F(y)中，用(∃y)R(Δ，y)代F(Δ)，可得(ᗄx)(∃y)R(x，y)→(∃y)R(y，y)。由于违反规则(2)，代入后的公式不普遍有效。
随便看	性咨询原则性咨询机构性哲学性唤起性器前期体系性器官性困惑性困难性好奇性嫉妒性嫉妒类型性学检查性定向性审美性对抗性对象性崇拜性幻想性度性征性心理性心理学性心理障碍性快感性快感减少与性快感缺乏 pressure pick up pressure piercing pressure pile Pressure Piling pressure pillow pressure pin pressure pipe pressure pipeline pressure pipe, second brake pipe pressure piping pressure piston pressure plate pressure plate anemometer pressure plateau pressure plate flowmeter 老舍先生表达了什么情感是什么意思珠帘的量词怎么写情书文案是什么意思圣女战旗的情书是什么意思情感黑白视频文案是什么意思情书梁静茹文案是什么意思走着走着花就开了情感散文是什么意思情感系列聊天套路语录搞笑是什么意思初心情感语录文案是什么意思找茬类情感文案短句的简单介绍是什么意思情感语录夫妻素材视频是什么意思优美情书歌曲钢琴是什么意思古城情书是什么意思散文描述情感的词语有什么是什么意思祖传情书小说是什么意思初一男生写情书怎么办是什么意思婆媳关系男友考试题的简单介绍上海话约会的发音技巧婆媳关系导致的离婚文案女主相亲嫁的穷鬼的简单介绍直播挽回男友男朋友劈腿但挽回女友了恋爱攻略文玛丽苏搭讪后又不找你聊天婆媳关系有多少人做的婚礼红色皇冠头饰图片情话养猫近期超火的土味情话男生邢台市婚姻挽回机构教师办婚礼电影院传统的婚姻家庭答案如何为宝宝取一个好名字? 晁姓取名大全:如何为宝贝选择一个好名字如何为宝宝取一个好名字?光姓取名大全指南扆姓取名大全：如何为宝贝选择一个好名字如何为宝宝取一个好名字?项姓取名大全指南邬姓宝宝取名指南:寓意美好的邬氏家族名字推荐如何为宝贝取一个好听又有寓意的桃姓名字沃姓取名指南:如何为宝贝起一个富有寓意的名字如何为宝宝取一个好名字?褚姓取名大全推荐吴姓取名全攻略：如何为宝贝起一个好名字如何为宝宝取一个好名字?姓余取名大全指南如何为宝贝取一个好名字?姓陆取名大全指南如何为宝宝取一个好名字?逢姓取名大全指南如何为宝贝取一个好名字?姓冉取名大全推荐如何为宝宝取一个好名字?

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